Sciweavers

1907 search results - page 106 / 382
» Visualizing Action Semantics
Sort
View
ESOP
2009
Springer
14 years 3 months ago
Minimization Algorithm for Symbolic Bisimilarity
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
Filippo Bonchi, Ugo Montanari
AMAST
2004
Springer
14 years 5 days ago
Refining Mobile UML State Machines
We study the semantics and refinement of mobile objects, considering an extension of core UML state machines by primitives that designate the location of objects and their moves wi...
Alexander Knapp, Stephan Merz, Martin Wirsing
ICMI
2003
Springer
164views Biometrics» more  ICMI 2003»
14 years 1 months ago
A visually grounded natural language interface for reference to spatial scenes
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
Peter Gorniak, Deb Roy
EPIA
2005
Springer
14 years 1 months ago
Subgoal Semantics in Agent Programming
This paper investigates the notion of subgoals as used in plans in cognitive agent programming languages. These subgoals form act representation of more concrete courses of action ...
M. Birna van Riemsdijk, Mehdi Dastani, John-Jules ...
ISM
2006
IEEE
187views Multimedia» more  ISM 2006»
14 years 2 months ago
Camera View-Based American Football Video Analysis
We present a top-down statistical modeling approach to explore the semantic structure in the American football video. First, a semantic space is defined where the video semantic ...
Yi Ding, Guoliang Fan