391 search results - page 59 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
DIAGRAMS
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the evaluation of ERST, an adaptive system which is designed to improve its users' external representation (ER) selection accuracy on a range of database ...
PRIMA
2004
Springer
14 years 1 months ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
CODES
2004
IEEE
13 years 11 months ago
2004
IEEE
As a result of improvements in process technology, more and more components are being integrated into a single System-on-Chip (SoC) design. Communication between these components ...
SIAMCOMP
1998
13 years 7 months ago
1998
This paper continues the investigation of the connection between probabilistically checkable proofs (PCPs) and the approximability of NP-optimization problems. The emphasis is on p...
CGF
2007
13 years 7 months ago
2007
Significant advances have been achieved for realtime ray tracing recently, but realtime performance for complex scenes still requires large computational resources not yet availa...