Sciweavers

3765 search results - page 81 / 753
» Qualitative Action Systems
Sort
View
COMPUTER
2007
135views more  COMPUTER 2007»
13 years 10 months ago
A Language for Human Action
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
Gutemberg Guerra-Filho, Yiannis Aloimonos
IJCAI
2007
13 years 11 months ago
Incremental Learning of Perceptual Categories for Open-Domain Sketch Recognition
Most existing sketch understanding systems require a closed domain to achieve recognition. This paper describes an incremental learning technique for opendomain recognition. Our s...
Andrew M. Lovett, Morteza Dehghani, Kenneth D. For...
RTCSA
2006
IEEE
14 years 4 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
AIPS
2008
14 years 8 days ago
Generative Planning for Hybrid Systems Based on Flow Tubes
When controlling an autonomous system, it is inefficient or sometimes impossible for the human operator to specify detailed commands. Instead, the field of AI autonomy has develop...
Hui X. Li, Brian C. Williams
IFM
2009
Springer
153views Formal Methods» more  IFM 2009»
13 years 7 months ago
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
Steve Schneider, Helen Treharne