If you made any changes in Pure these will be visible here soon.

Research Output 1985 2019

Filter
Article
2019

Text mining of tourism preference in a multilingual site

Zeng, C., Nakatoh, T., Hirokawa, S. & Eguchi, M., Apr 1 2019, In : IEEJ Transactions on Electrical and Electronic Engineering. 14, 4, p. 590-596 7 p.

Research output: Contribution to journalArticle

Hotels
Learning systems
Visualization
2018
2 Citations (Scopus)

An automatic method to extract online foreign language learner writing error characteristics

Flanagan, B. & Hirokawa, S., Oct 1 2018, In : International Journal of Distance Education Technologies. 16, 4, p. 15-30 16 p.

Research output: Contribution to journalArticle

foreign language
Feedback
language
language group
learning process

Attribute-based quality classification of academic papers

Nakatoh, T., Hirokawa, S., Minami, T., Nanri, T. & Funamori, M., Jun 1 2018, In : Artificial Life and Robotics. 23, 2, p. 235-240 6 p.

Research output: Contribution to journalArticle

Publications
Classifiers
Research Personnel
Databases
Research

Graph Clustering System for Text-Based Records in a Clinical Pathway

Yamashita, T., Onimura, N., Soejima, H., Nakashima, N. & Hirokawa, S., Jan 2018, In : Studies in Health Technology and Informatics. 245, p. 649-652 4 p.

Research output: Contribution to journalArticle

Electronic medical equipment
Critical Pathways
Analog to digital conversion
Standardization
Medical Records
2017

LTDE: A layout tree based approach for deep page data extraction

Zeng, J., Li, F., Flanagan, B. & Hirokawa, S., May 2017, In : IEICE Transactions on Information and Systems. E100D, 5, p. 1067-1078 12 p.

Research output: Contribution to journalArticle

HTML
Websites
World Wide Web
Experiments
5 Citations (Scopus)

Personalized movie recommendation system based on support vector machine and improved particle swarm optimization

Wang, X., Luo, F., Sang, C., Zeng, J. & Hirokawa, S., Feb 1 2017, In : IEICE Transactions on Information and Systems. E100D, 2, p. 285-293 9 p.

Research output: Contribution to journalArticle

Recommender systems
Particle swarm optimization (PSO)
Support vector machines
Collaborative filtering
Information technology
2016
7 Citations (Scopus)

Automated duplicate bug report detection using multi-factor analysis

Zou, J., Xu, L., Yang, M., Zhang, X., Zeng, J. & Hirokawa, S., Jul 2016, In : IEICE Transactions on Information and Systems. E99D, 7, p. 1762-1775 14 p.

Research output: Contribution to journalArticle

Factor analysis
Semantics
Experiments
6 Citations (Scopus)

Shilling attack detection in recommender systems via selecting patterns analysis

Li, W., Gao, M., Li, H., Zeng, J., Xiong, Q. & Hirokawa, S., Oct 2016, In : IEICE Transactions on Information and Systems. E99D, 10, p. 2600-2611 12 p.

Research output: Contribution to journalArticle

Recommender systems
Collaborative filtering
Learning systems
Feature extraction
Experiments
2015
11 Citations (Scopus)

A predictive model to evaluate student performance

Sorour, S. E., Mine, T., Goda, K. & Hirokawa, S., Jan 1 2015, In : Journal of information processing. 23, 2, p. 192-201 10 p.

Research output: Contribution to journalArticle

Students
Semantics
Experiments
1 Citation (Scopus)

Discovery of implicit featurewords of place name

Hirokawa, S., Nakatoh, T., Nakae, H. & Suzuki, T., Jan 1 2015, In : Intelligent Systems Reference Library. 90, p. 31-42 12 p.

Research output: Contribution to journalArticle

Blogs
weblog
tourist
Concretes
experience
2 Citations (Scopus)

Dynamic macro-based heuristic planning through action relationship analysis

Jiang, Z., Wen, J., Zeng, J., Zhang, Y., Wang, X. & Hirokawa, S., Feb 1 2015, In : IEICE Transactions on Information and Systems. E98D, 2, p. 363-371 9 p.

Research output: Contribution to journalArticle

Macros
Planning
Dynamical systems
Economics
Experiments
1 Citation (Scopus)

Extraction of tourism objects from blogs

Nakatoh, T. & Hirokawa, S., Jan 1 2015, In : Intelligent Systems Reference Library. 90, p. 43-58 16 p.

Research output: Contribution to journalArticle

Blogs
weblog
tourist
Tourism
Tourists
2014

A trichotomic approach to concept capture and representation: With its application to library data mining

Minami, T., Hirokawa, S., Baba, K. & Amano, E., Jan 1 2014, In : Studies in Computational Intelligence. 553, p. 61-75 15 p.

Research output: Contribution to journalArticle

Data mining
Visualization
1 Citation (Scopus)

A web page segmentation approach using seam degree and content similarity

Zeng, J., Flanagan, B., Xiong, Q., Wen, J. & Hirokawa, S., Jan 1 2014, In : Studies in Computational Intelligence. 553, p. 91-103 13 p.

Research output: Contribution to journalArticle

Websites
Semantics
Experiments
2 Citations (Scopus)

A web page segmentation approach using visual semantics

Zeng, J., Flanagan, B., Hirokawa, S. & Ito, E., Jan 1 2014, In : IEICE Transactions on Information and Systems. E97-D, 2, p. 223-230 8 p.

Research output: Contribution to journalArticle

Websites
Semantics
World Wide Web
Learning algorithms
Learning systems

Real time text-based feedback systems: From frequency-based feedback to mindmap feedback in foreign language teaching

Ono, Y., Hirokawa, S., Ishihara, M. & Yamashiro, M., 2014, In : Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics. 2014-January, January, p. 2150-2153 4 p., 6974240.

Research output: Contribution to journalArticle

Teaching
Feedback
Bulletin boards
Glossaries
2013
3 Citations (Scopus)

An automated method to generate e-learning quizzes from online language learner writing

Flanagan, B., Yin, C., Hirokawa, S., Hashimoto, K. & Tabata, Y., Jan 1 2013, In : International Journal of Distance Education Technologies. 11, 4, p. 63-80 18 p.

Research output: Contribution to journalArticle

quiz
electronic learning
language
foreign language
learning
4 Citations (Scopus)

Automatic generation of tourism quiz using blogs

Zeng, J., Sakai, T., Yin, C., Suzuki, T. & Hirokawa, S., Jan 1 2013, In : Artificial Life and Robotics. 17, 3-4, p. 412-416 5 p.

Research output: Contribution to journalArticle

Blogging
Blogs
Communication
19 Citations (Scopus)

Learning by searching: A learning environment that provides searching and analysis facilities for supporting trend analysis activities

Yin, C., Sung, H. Y., Hwang, G. J., Hirokawa, S., Chu, H. C., Flanagan, B. & Tabata, Y., 2013, In : Educational Technology and Society. 16, 3, p. 286-300 15 p.

Research output: Contribution to journalArticle

Search engines
learning environment
search engine
trend
Online searching
14 Citations (Scopus)

Research trends with cross tabulation search engine

Yin, C., Hirokawa, S., Yau, J. Y. K., Hashimoto, K., Tabata, Y. & Nakatoh, T., Jan 1 2013, In : International Journal of Distance Education Technologies. 11, 1, p. 31-44 14 p.

Research output: Contribution to journalArticle

Search engines
search engine
survey research
trend
field research
2012
6 Citations (Scopus)

Characteristic grammatical context of tourism information

Nakatoh, T., Yin, C. & Hirokawa, S., Mar 1 2012, In : ICIC Express Letters. 6, 3, p. 753-758 6 p.

Research output: Contribution to journalArticle

Blogs
World Wide Web
Ontology
Statistical methods
2 Citations (Scopus)

Component search engine based on html path and word weight

Zeng, J. & Hirokawa, S., Feb 2012, In : ICIC Express Letters. 6, 2, p. 563-568 6 p.

Research output: Contribution to journalArticle

Search engines
HTML
Websites
2011
1 Citation (Scopus)

Extraction of subjective context-sensitive evaluation of Japanese onomatopoeic expressions and its applications

Hashimoto, K., Takeuchi, K., Yin, C. & Hirokawa, S., Oct 2011, In : ICIC Express Letters. 5, 10, p. 3755-3760 6 p.

Research output: Contribution to journalArticle

Experiments
6 Citations (Scopus)

Search and analysis of gourmet blogs with a particular reference to onomatopoeia

Hirokawa, S., Yin, C., Hashimoto, K. & Takeuchi, K., Aug 2011, In : ICIC Express Letters. 5, 8 B, p. 2971-2976 6 p.

Research output: Contribution to journalArticle

Blogs
Hotels
Search engines
2000

A lambda proof of the P-W theorem

Hirokawa, S., Komori, Y. & Nagayama, M., Jan 1 2000, In : Journal of Symbolic Logic. 65, 4, p. 1841-1849 9 p.

Research output: Contribution to journalArticle

Theorem
Natural Deduction
P Systems
Intuitionistic Logic
Term
1998
5 Citations (Scopus)

Infiniteness of proof(α) is polynomial-space complete

Hirokawa, S., Oct 6 1998, In : Theoretical Computer Science. 206, 1-2, p. 331-339 9 p.

Research output: Contribution to journalArticle

Polynomials
Polynomial
Normal Form
Natural Deduction
Sequent Calculus
3 Citations (Scopus)

Living with ZK - an approach towards communication with analogue messages

Minami, T., Sazuka, H., Hirokawa, S. & Ohtani, T., 1998, In : Unknown Journal. 1, p. 369-374 6 p.

Research output: Contribution to journalArticle

communication
Color
Communication
electronics
1996

A Reduction Rule for Peirce Formula

Hirokawa, S., Komori, Y. & Takeuti, I., Jan 1 1996, In : Studia Logica. 56, 3, p. 419-426 8 p.

Research output: Contribution to journalArticle

Figure
Strong Normalization
Classical Logic
Term
Normalization
11 Citations (Scopus)

Normal Proofs and Their Grammar

Takahashi, M., Akama, Y. & Hirokawa, S., Mar 15 1996, In : Information and Computation. 125, 2, p. 144-153 10 p.

Research output: Contribution to journalArticle

Grammar
2 Citations (Scopus)

The proofs of α → α in P - W

Hirokawa, S., Mar 1 1996, In : Journal of Symbolic Logic. 61, 1, p. 195-211 17 p.

Research output: Contribution to journalArticle

Term
Natural Deduction
Axiom
Axioms
Normal Form
1993
14 Citations (Scopus)

Principal types of BCK-lambda-terms

Hirokawa, S., Jan 18 1993, In : Theoretical Computer Science. 107, 2, p. 253-276 24 p.

Research output: Contribution to journalArticle

Substitution reactions
Term
Assignment
Normal Form
Figure
2 Citations (Scopus)

The relevance graph of a BCK-formula

Hirokawa, S., Jun 1 1993, In : Journal of Logic and Computation. 3, 3, p. 269-285 17 p.

Research output: Contribution to journalArticle

Directed graphs
Graph in graph theory
Relevance
Graph
Term
1992
2 Citations (Scopus)

The converse principal type-scheme theorem in lambda calculus

Hirokawa, S., Mar 1 1992, In : Studia Logica. 51, 1, p. 83-95 13 p.

Research output: Contribution to journalArticle

Lambda Calculus
Converse
Term
Theorem
Assignment
1988
1 Citation (Scopus)

One-step recurrent terms in λ-β-calculus

Sekimoto, S. & Hirokawa, S., Feb 1988, In : Theoretical Computer Science. 56, 2, p. 223-231 9 p.

Research output: Contribution to journalArticle

Calculus
Term
Necessary Conditions
Sufficient Conditions
Cycling
1985
1 Citation (Scopus)

Complexity of the combinator reduction machine

Hirokawa, S., Jan 1 1985, In : Theoretical Computer Science. 41, C, p. 289-303 15 p.

Research output: Contribution to journalArticle

Models of Computation
Linearity
Coefficient
Theorem