1037 search results - page 93 / 208 » A view of canonical extension |
177
Voted
ASIACRYPT
2004
Springer
16 years 11 days 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 ...
202
click to vote
ISER
2004
Springer
16 years 10 days 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 ...
181
Voted
ECBS
2003
IEEE
16 years 7 days 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...
164
click to vote
HICSS
2003
IEEE
16 years 7 days 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 ...
201
click to vote
ER
2003
Springer
16 years 5 days 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...