3446 search results - page 395 / 690 » A Reasoning Algorithm for pD* |
190
click to vote
PREMI
2005
Springer
16 years 6 days ago
2005
Springer
The work proposes a hierarchical architecture for learning amic scenes at various levels of knowledge abstraction. The raw visual information is processed at different stages to g...
170
click to vote
AUSAI
2005
Springer
16 years 6 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
197
click to vote
HT
2004
ACM
16 years 5 days ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
185
Voted
CAV
2004
Springer
16 years 4 days ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
156
click to vote
CHES
2004
Springer
16 years 4 days ago
2004
Springer
Cryptographic algorithms implemented on smart-cards must be protected against side-channel attacks. Some encryption schemes and hash functions like IDEA, RC6, MD5, SHA-1 alternate ...