Sciweavers

5599 search results - page 384 / 1120
» Abstract State Services
Sort
View
CONCUR
2009
Springer
16 years 1 months ago
Concavely-Priced Probabilistic Timed Automata
Abstract. Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, ...
Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin No...
LORI
2009
Springer
16 years 1 months ago
Strategy Elimination in Games with Interaction Structures
Abstract. We study games in the presence of an interaction structure, which allows players to communicate their preferences, assuming that each player initially only knows his own ...
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zves...
VTC
2008
IEEE
16 years 1 months ago
Finding the Best QoS Path in a Gilbert Channel Network
—Many different types of modern wired and wireless communication links can be mathematically described as discretebert channels. In this extended abstract, we present an exact me...
Edwin Soedarmadji
DALT
2007
Springer
16 years 27 days ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck
ROBIO
2006
IEEE
110views Robotics» more  ROBIO 2006»
16 years 22 days ago
Sensor Based Localization for Mobile Robots by Exploration and Selection of Best Direction
Abstract— We present a strategy for resolving multiple hypotheses of a robot’s state during global localization. The strategy operates in two stages. In the first stage a uniq...
Rakesh Goyal, K. Madhava Krishna, Shivudu Bhuvanag...