19979 search results - page 273 / 3996 » Decision support systems |
198
click to vote
LICS
2003
IEEE
16 years 17 days 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 ...
189
click to vote
FROCOS
2009
Springer
15 years 11 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
194
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
161
Voted
CASES
2000
ACM
15 years 11 months ago
2000
ACM
