12193 search results - page 335 / 2439 » It's not all about |
146
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we study how multiple robots can cover known terrain quickly. We extend Multi-Robot Forest Coverage, a state-of-the-art multi-robot coverage algorithm, from terr...
136
click to vote
AIED
2007
Springer
16 years 28 days ago
2007
Springer
: Motivationally intelligent systems deploy resources and tactics dynamically to maintain or increase the student’s desire to learn and her willingness to expend effort in so doi...
198
click to vote
ESORICS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
166
click to vote
FORMATS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
183
Voted
ICSOC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...