Sciweavers

950 search results - page 13 / 190
» Machine semantics
Sort
View
AGI
2008
15 years 1 months ago
Real Time Machine Deduction and AGI
: Consistent with the ultimate goals of AGI, we can expect that deductive consequences of large and grammatically varied text bases would not be generated by sequential application...
Peter G. Tripodes
COLING
2002
14 years 11 months ago
A Comparative Evaluation of Data-driven Models in Translation Selection of Machine Translation
We present a comparative evaluation of two data-driven models used in translation selection of English-Korean machine translation. Latent semantic analysis(LSA) and probabilistic ...
Yuseop Kim, Jeong Ho Chang, Byoung-Tak Zhang
ASM
2005
ASM
15 years 5 months ago
Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
Andrey Novikov, Rostislav Yavorskiy
CAISE
2006
Springer
15 years 3 months ago
An Architecture for a Semantic Portal
Abstract. Current Web applications provide their information and functionalities to human users only. To make Web applications also accessible for machines, the Semantic Web propos...
Gerald Reif, Harald Gall
ICALT
2009
IEEE
15 years 6 months ago
Korean Word Associations: The Linked Structures for Language Learning
This paper reports on Korean Word Associations (KorWA) which were collected to construct a semantic network for Korean language. An approach of graph representation and network an...
Jaeyoung Jung, Nobuyasu Makoshi, Hiroyuki Akama