1677 search results - page 66 / 336 » On the Completeness of Quantum Computation Models |
177
click to vote
SADFE
2008
IEEE
15 years 7 months ago
2008
IEEE
Different users apply computer forensic systems, models, and terminology in very different ways. They often make incompatible assumptions and reach different conclusions about ...
126
click to vote
IJCAI
1989
15 years 2 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...
126
click to vote
SI3D
1997
ACM
15 years 5 months ago
1997
ACM
A new tracing algorithm is described that supports haptic rendering of NURBS surfaces without the use of any intermediate representation. By using this tracing algorithm in conjun...
ICDM
2002
IEEE
15 years 6 months ago
2002
IEEE
Presently, inductive learning is still performed in a frustrating batch process. The user has little interaction with the system and no control over the final accuracy and traini...
113
click to vote
SC
1995
ACM
15 years 5 months ago
1995
ACM
Rapid increases in computing and communication performance are exacerbating the long-standing problem of performance-limited input/output. Indeed, for many otherwise scalable para...