13383 search results - page 144 / 2677 » Abstractions from proofs |
139
Voted
ROBIO
2006
IEEE
16 years 5 days ago
2006
IEEE
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...
162
click to vote
FCT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
130
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Proponents of aspect orientation have successfully seeded the impression that aspects—like objects—are so fundamental a notion that they should pervade all phases and...
150
click to vote
CBSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
149
Voted
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...