16404 search results - page 2773 / 3281 » A set coverage problem |
173
click to vote
DSS
2006
15 years 7 months ago
2006
Proactive information sharing is a challenging issue faced by intelligence agencies in effectively making critical decisions under time pressure in areas related to homeland secur...
169
click to vote
IJACT
2008
15 years 7 months ago
2008
: Certificateless cryptography is a promising technology for solving the key escrow problem in identity-based cryptography. However, the lack of a unified set of definitions and se...
161
click to vote
ENGL
2006
15 years 7 months ago
2006
Researchers have shown a considerable amount of interest in the control of pneumatic drives over the past decade, for two main reasons, firstly, the response of the system is very ...
201
click to vote
ENTCS
2006
15 years 7 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...
209
click to vote
ENTCS
2006
15 years 7 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...