Sciweavers

1162 search results - page 73 / 233
» An Information-Based Theory of Conditionals
Sort
View
ATAL
1999
Springer
15 years 10 months ago
Reactivity in a Logic-Based Robot Programming Framework
A robot must often react to events in its environment and exceptional conditions by suspendingor abandoning its current plan and selecting a new plan that is an appropriate respons...
Yves Lespérance, Kenneth Tam, Michael R. M....
ISIPTA
1999
IEEE
115views Mathematics» more  ISIPTA 1999»
15 years 10 months ago
Imprecise Probabilities Relating to Prior Reliability Assessments
The paper summarizes the author's experience in dealing with the Dempster-Shafer theory relating to reliability assessments and demonstrates how to make component and system ...
Igor Kozine
RTSS
1998
IEEE
15 years 10 months ago
Elastic Task Model for Adaptive Rate Control
An increasing number of real-time applications, related to multimedia and adaptive control systems, require greater flexibility than classical real-time theory usually permits. In...
Giorgio C. Buttazzo, Giuseppe Lipari, Luca Abeni
ITP
2010
156views Mathematics» more  ITP 2010»
15 years 10 months ago
The Optimal Fixed Point Combinator
In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbert’s epsilon operator. This combinator allows for a direct and e...
Arthur Charguéraud
AUSAI
2006
Springer
15 years 10 months ago
A Flexible Framework for SharedPlans
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
Minh Hoai Nguyen, Wayne Wobcke