249 search results - page 47 / 50 » Specification and Verification of Dynamics in Cognitive Agen... |
AAAI
2000
13 years 9 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
AAAI
2006
13 years 9 months ago
2006
Modern artifacts are typically composed of many system components and exhibit a complex pattern of continuous/discrete behaviors. A concurrent hybrid automaton is a powerful model...
DEXA
2000
Springer
14 years 2 days ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
COMSWARE
2007
IEEE
14 years 2 months ago
2007
IEEE
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper, we propose a novel framework of object categorization, namely layered object categorization, which takes advantage of hierarchical category information and performs...