Sciweavers

10 search results - page 2 / 2
» jsai 2007
Sort
View
JSAI
2007
Springer
13 years 10 months ago
Inverse Scope as Metalinguistic Quotation in Operational Semantics
We model semantic interpretation operationally: constituents interact as their combination in discourse evolves from state to state. The states are recursive data structures and ev...
Chung-chieh Shan
JSAI
2007
Springer
13 years 10 months ago
Towards a Logical Reconstruction of CF-Induction
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue
JSAI
2007
Springer
13 years 10 months ago
Towards Translation of Legal Sentences into Logical Forms
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu
JSAI
2007
Springer
13 years 10 months ago
Consideration of Infants' Vocal Imitation Through Modeling Speech as Timbre-Based Melody
Abstract. Infants acquire spoken language through hearing and imitating utterances mainly from their parents [1,2,3] but never imitate their parents’ voices as they are. What in ...
Nobuaki Minematsu, Tazuko Nishimura
JSAI
2007
Springer
13 years 10 months ago
Video Scene Retrieval Using Online Video Annotation
Abstract. In this paper, we propose an efficient method for extracting scene tags from online video annotation (e.g., comments about video scenes). To evaluate this method by apply...
Tomoki Masuda, Daisuke Yamamoto, Shigeki Ohira, Ka...