4814 search results - page 582 / 963 » Combining abstract interpreters |
182
click to vote
IEAAIE
2004
Springer
2004
Springer
The Cognitive Controller: A Hybrid, Deliberative/Reactive Control Architecture for Autonomous Robots
16 years 4 days ago
Abstract. The Cognitive Controller (CoCo) is a new, three-tiered control architecture for autonomous agents that combines reactive and deliberative components. A behaviour-based re...
160
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
186
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Flexible personal communications may require dynamically discovering, using, and combining a number of services to support the activities of a mobile user. However, many ...
163
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
150
click to vote
IJCNLP
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper proposes the use of Latent Semantic Indexing (LSI) techniques, decomposed with semi-discrete matrix decomposition (SDD) method, for text categorization. The SD...