1636 search results - page 295 / 328 » Reasoning About Quantum Systems |
139
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
142
click to vote
LOPSTR
2005
Springer
15 years 10 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
151
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...
141
click to vote
SI3D
1997
ACM
15 years 9 months ago
1997
ACM
We investigate the synergy of the two hands for virtual object manipulation. We report results from an experiment which suggest that the two hands together provide sufficient per...
137
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek ...