Sciweavers

2602 search results - page 386 / 521
» Semantic Analysis of 'to'
Sort
View
DEXAW
1995
IEEE
101views Database» more  DEXAW 1995»
14 years 1 months ago
Principles and Tools for Authoring Knowledge-Rich Documents
Digital libraries can take advantage of documents that have their content (semantics) explicitly represented as knowledge structures. These knowledge-rich documents can be created ...
Robert P. Futrelle, Natalya Fridman Noy
FLAIRS
2008
14 years 15 days ago
Visualization Techniques for the Evaluation of Knowledge Systems
Although various methods for the evaluation of intelligent systems have been proposed in the past, almost no techniques are present that support the manual inspection of knowledge...
Joachim Baumeister, Martina Menge, Frank Puppe
ACL
2007
13 years 11 months ago
Automatic Acquisition of Ranked Qualia Structures from the Web
This paper presents an approach for the automatic acquisition of qualia structures for nouns from the Web and thus opens the possibility to explore the impact of qualia structures...
Philipp Cimiano, Johanna Wenderoth
APVIS
2010
13 years 11 months ago
Motion track: Visualizing variations of human motion data
This paper proposes a novel visualization approach, which can depict the variations between different human motion data. This is achieved by representing the time dimension of eac...
Yueqi Hu, Shuangyuan Wu, Shihong Xia, Jinghua Fu, ...
FMOODS
2007
13 years 11 months ago
A Mechanized Model of the Theory of Objects
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
Ludovic Henrio, Florian Kammüller