3333 search results - page 289 / 667 » Abstract Proof Search |
158
click to vote
ROBIO
2006
IEEE
16 years 20 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...
216
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
ACL2 is used to systematically study domains whose elements can be “uniquely” factored into products of “irreducible” elements. The best known examples of such domains are...
163
click to vote
ADAEUROPE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
142
Voted
ASM
2005
ASM
16 years 6 days ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
159
click to vote
CAV
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...