Tatsuya Hagino

According to our database, Tatsuya Hagino authored at least 21 papers between 1983 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Fast Tree Detection and Counting on UAVs for Sequential Aerial Images with Generating Orthophoto Mosaicing.

Pengcheng Han, Cunbao Ma, Jian Chen, Lin Chen, Shuhui Bu, Shibiao Xu, Yong Zhao, Chenhua Zhang, Tatsuya Hagino

Remote. Sens., 2022

2020

A Categorical Programming Language.

Tatsuya Hagino

CoRR, 2020

2013

A Method for the Generation of Semantic Annotation from Sport News Using Ontology Based Patterns.

Quang-Minh Nguyen, Tuan-Dung Cao, Thanh-Hien Phan, Hoang-Cong Nguyen, Tatsuya Hagino

Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

2012

Towards Efficient Sport Data Integration through Semantic Annotation.

Quang-Minh Nguyen, Tuan-Dung Cao, Hoang-Cong Nguyen, Tatsuya Hagino

Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

2005

Exploiting Multiple Radii to Learn Significant Locations.

Norio Toyama, Takashi Ota, Fumihiro Kato, Youichi Toyota, Takashi Hattori, Tatsuya Hagino

Proceedings of the Location- and Context-Awareness, First International Workshop, 2005

2004

Cyber Infrastructure and Governance of Next Decades.

Hideyuki Tokuda, Tatsuya Hagino, Jun Murai, Yasunori Sone, Michio Umegaki

Proceedings of the 2004 Symposium on Applications and the Internet Workshops (SAINT 2004 Workshops), 2004

HTTP-Proxy-Assisted Automatic Video Indexing for E-Learnin.

Yorihito Tanaka, Tomoki Itamiya, Tatsuya Hagino, Hiroaki Chiyokura

Proceedings of the 2004 Symposium on Applications and the Internet Workshops (SAINT 2004 Workshops), 2004

2003

Personalization of Materials for Learning on Demand Using RDF.

Noritada Shimizu, Jun-ichi Nakamura, Nofumi Yoshida, Takashi Hattori, Tatsuya Hagino

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

2001

XEBRA: The Design and Implementation of Integrated Programming Environment for XML Processing and Browsing.

Norio Toyama, Yasuyuki Hirakawa, Takashi Hattori, Tatsuya Hagino

Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

Adapt CC/PP to Real World Information to Customize Web Service.

Wataru Okada, Fumihiro Kato, Tatsuya Hagino, Kazuhiro Kitagawa

Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001

Effects and Performance of Content Negotiation Based on CC/PP.

Kinuko Yasuda, Takuya Asada, Tatsuya Hagino

Proceedings of the Mobile Data Management, Second International Conference, 2001

Ad-hoc Filesystem: A Novel Network Filesystem for Ad-hoc Wireless Networks.

Kinuko Yasuda, Tatsuya Hagino

Proceedings of the Networking, 2001

2000

Commons: resource sharing and protection in mobile appliance OS.

Tetsuya Saito, Tatsuya Hagino

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

1994

Comprehensive operating system for highly parallel machine.

Nobuo Saito, Hideyuki Tokuda, Tatsuya Hagino, Shuichi Oikawa, Akinori Yonezawa, Satoshi Matsuoka, Shigekazu Inohara, Yoshikatsu Tada, Hideki Sunahara, Shuji Ishii, Etsuya Shibayama, Yoichi Shinoda

Proceedings of the International Symposium on Parallel Architectures, 1994

1993

The ToM (thread on modules) microkernel.

Tatsuya Hagino, Kinya Yamagishi

Syst. Comput. Jpn., 1993

1989

Codatatypes in ML.

Tatsuya Hagino

J. Symb. Comput., 1989

1987

A categorical programming language.

Tatsuya Hagino

PhD thesis, 1987

A Typed Lambda Calculus with Categorical Type Constructors.

Tatsuya Hagino

Proceedings of the Category Theory and Computer Science, 1987

1983

Proof System.

Michio Honda, Tatsuya Hagino, Etsuya Shibayama

Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

Verification System.

Tatsuya Hagino, Etsuya Shibayama

Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983

KWIC Example.

Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa

Proceedings of the IOTA Programming System, A Modular Programming Environment, 1983