Sciweavers

80 search results - page 14 / 16
» Aspect-Oriented Action Semantics Descriptions
Sort
View
AIPS
1996
13 years 8 months ago
A Procedural Knowledge Approach to Task-Level Control
Effective task-level control is critical for robots that are to engage in purposeful activity in realworld environments. This paper describes PRSLite, a task-level controller grou...
Karen L. Myers
JUCS
2006
117views more  JUCS 2006»
13 years 7 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...
FPCA
1995
13 years 11 months ago
Pi-Calculus, Dialogue Games and PCF
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
J. M. E. Hyland, C.-H. Luke Ong
MEMOCODE
2007
IEEE
14 years 1 months ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer
SEBD
2003
148views Database» more  SEBD 2003»
13 years 8 months ago
MuSIQUE: A Multi-System Image Querying User Interface
Current image retrieval systems do not provide users with adequate interfaces able to reduce the semantic gap existing between the high-level semantics of images (as perceived by t...
Ilaria Bartolini, Paolo Ciaccia