1341 search results - page 229 / 269 » Probabilistic Abstraction Hierarchies |
114
click to vote
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
ACOM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Although several approaches to the semantics of agent communication have been proposed, none of them is really suitable for dealing with agent autonomy, which is a decisi...
CIVR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Scene structuring is a video analysis task for which no common evaluation procedures have been fully adopted. In this paper, we present a methodology to evaluate such tas...
102
click to vote
ICFEM
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
ISER
2004
Springer
15 years 3 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...