Nagoya University ProfileFuro-cho, Chikusa-ku, Nagoya, , Japan Phone: +http://www.nagoya-u.ac.jp/en/

Source URL: en.nagoya-u.ac.jp

Position Interpolation using Feature Point Scale for Decimeter Visual Localization David Wong, Daisuke Deguchi, Ichiro Ide, Hiroshi Murase Graduate School of Information Science, Nagoya University Furo-cho, Chikusa-ku, N

Source URL: www.murase.m.is.nagoya-u.ac.jp

• Feature detection
• Scale-invariant feature transform
• Speeded up robust features
• Feature
• Image registration
• Corner detection
• Simultaneous localization and mapping
• Triangulation
• Maximally stable extremal regions
• Outline of object recognition
• Bag-of-words model in computer vision

iVAS: Web-based Video Annotation System and its Applications Daisuke Yamamoto Graduate School of Information Science Nagoya University Furo-cho, Chikusa-ku, Nagoya, Japan

Source URL: iswc2004.semanticweb.org

Private Row Types: Abstracting the Unnamed Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, NagoyaAbstract. In addition to traditional recor

Source URL: www.math.nagoya-u.ac.jp

• Functional languages
• Data types
• Functional programming
• Object-oriented programming languages
• Programming idioms
• OCaml
• Structural type system
• Scala
• ALGOL 68
• Recursion
• Monad
• C++ classes

Generation of Inverse Term Rewriting Systems for Pure Treeless Functions Naoki Nishida, Masahiko Sakai, and Toshiki Sakabe Graduate School of Engineering, Nagoya University Furo-cho, Chikusa-ku, Nagoya, Japan ni

Source URL: www.sakabe.nuie.nagoya-u.ac.jp

Convergent Term Rewriting Systems for Inverse Computation of Injective Functions? Naoki Nishida, Masahiko Sakai, and Terutoshi Kato Graduate School of Information Science, Nagoya University Furo-cho, Chikusa-ku, Nagoya 4

Source URL: www.sakabe.nuie.nagoya-u.ac.jp

On Simulation-Completeness of Unraveling for Conditional Term Rewriting Systems∗ Naoki Nishida†, Masahiko Sakai and Toshiki Sakabe Graduate School of Information Science, Nagoya University, Furo-cho, Chikusa-ku, Nago

Source URL: www.sakabe.nuie.nagoya-u.ac.jp

Furo-cho, Chikusa-ku, Nagoya, , Japan TEL: +http://www.nagoya-u.ac.jp/en/ Printed in March 2014

Source URL: admissions.g30.nagoya-u.ac.jp

A Certified Implementation of ML with Structural Polymorphism Jacques Garrigue Graduate School of Mathematical Sciences, Nagoya University, Chikusa-ku, Nagoya

Source URL: www.math.nagoya-u.ac.jp

Tritium Fuel System Assessment on Economics and CO2 Emissions in DT Fusion Reactors K. Yamazakia,*, and T. Oishia a Nagoya University, Furo-cho, Chikusa-ku, Nagoya, Japan

Source URL: tritium2010.nifs.ac.jp