3552 search results - page 356 / 711 » Proof theory in the abstract |
161
click to vote
ROBIO
2006
IEEE
16 years 24 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...
220
click to vote
ACL2
2006
ACM
16 years 23 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...
169
click to vote
ADAEUROPE
2005
Springer
16 years 10 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...
163
click to vote
CAV
2005
Springer
16 years 10 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...
180
click to vote
FSE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper, we propose a 2/3-rate double length compression function and study its security in the black-box model. We prove that to get a collision attack for the com...