1026 search results - page 120 / 206 » A Methodology for Equational Reasoning |
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
- A sensor fusion algorithm for flexible framed modular mobile robots is presented in this paper. This algorithm uses traditional Kalman filters and rigid axle kinematic models to ...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
DAC
1996
ACM
14 years 1 months ago
1996
ACM
Boundary element methods (BEM) are often used for complex 3-D capacitance extraction because of their efficiency, ease of data preparation, and automatic handling of open regions. ...
AMAST
2006
Springer
14 years 25 days ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...