1037 search results - page 93 / 208 » A view of canonical extension |
160
click to vote
ASIACRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Several generalizations of linear cryptanalysis have been proposed in the past, as well as very similar attacks in a statistical point of view. In this paper, we define ...
195
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
Navigation in unknown or partially unknown environments remains one of the biggest challenges in today's mobile robotics. Environmental modeling, perception, localization and ...
166
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
156
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The U.S. Capitol Police (USCP) are responsible for protecting the Capitol Hill complex encompassing the Senate and House office buildings and the Capitol building. Currently, the ...
184
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
Agent-oriented modeling of software and information systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We argue t...