Sciweavers

988 search results - page 33 / 198
» SenseNet: A Knowledge Representation Model for Computational...
Sort
View
149
Voted
JCISE
2002
129views more  JCISE 2002»
15 years 3 months ago
Modeling Information Needs in Engineering Databases Using Tacit Knowledge
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
Shuang Song, Andy Dong, Alice M. Agogino
FLAIRS
2006
15 years 5 months ago
Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System
Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain stateme...
Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, U...
ESOP
2008
Springer
15 years 5 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong
141
Voted
IJVR
2006
178views more  IJVR 2006»
15 years 3 months ago
Scene Synchronization in Close Coupled World Representations Using SCIVE
This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...
Marc Erich Latoschik, Christian Fröhlich, Ale...
COLING
2010
14 years 11 months ago
Generative Alignment and Semantic Parsing for Learning from Ambiguous Supervision
We present a probabilistic generative model for learning semantic parsers from ambiguous supervision. Our approach learns from natural language sentences paired with world states ...
Joohyun Kim, Raymond J. Mooney