1302 search results - page 148 / 261 » Soundness in the Public-Key Model |
171
click to vote
IJIT
2004
15 years 7 months ago
2004
Developing techniques for mobile robot navigation constitutes one of the major trends in the current research on mobile robotics. This paper develops a local model network (LMN) fo...
196
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
Human activity recognition and speech recognition appear to be two loosely related research areas. However, on a careful thought, there are several analogies between activity and ...
190
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
This paper deals with the three-dimensional reconstruction of an underwater environment from multiple acoustic range views acquired by a remotely operated vehicle. The problem is m...
140
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
146
click to vote
TODAES
1998
15 years 6 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...