445 search results - page 55 / 89 » A Systematic Construction of Abstract Domains |
KI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper explores autonomous locomotion, reaching, grasping and manipulation for the domain of Navigation Among Movable Obstacles (NAMO). The robot perceives and cons...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
IDA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper introduces Higher-Order Bayesian Networks, a probabilistic reasoning formalism which combines the efficient reasoning mechanisms of Bayesian Networks with the...
ISPEC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...