Sciweavers

3809 search results - page 239 / 762
» Associative language descriptions
Sort
View
CLEIEJ
2006
120views more  CLEIEJ 2006»
15 years 6 months ago
A semantics for while with break, continue and goto
This work presents a formal description of a subset of a C-like language in the form of an operational semantics. We give semantics to the following statements (presented in alpha...
Patricia Peratto
MT
2008
92views more  MT 2008»
15 years 6 months ago
Toward communicating simple sentences using pictorial representations
This paper evaluates the hypothesis that pictorial representations can be used to effectively convey simple sentences across language barriers. Comparative evaluations show that a...
Rada Mihalcea, Chee Wee Leong
CN
2002
86views more  CN 2002»
15 years 6 months ago
MSL: a model for W3C XML Schema
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
Allen Brown, Matthew Fuchs, Jonathan Robie, Philip...
SEMWEB
2009
Springer
15 years 11 months ago
Reasoning With Provenance, Trust and all that other Meta Knowlege in OWL
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
Simon Schenk, Renata Queiroz Dividino, Steffen Sta...
AI
2000
Springer
15 years 6 months ago
Understanding dynamic scenes
We propose a framework for the representation of visual knowledge in a robotic agent, with special attention to the understanding of dynamic scenes. According to our approach, und...
Antonio Chella, Marcello Frixione, Salvatore Gagli...