9067 search results - page 1656 / 1814 » Adaptive Model Checking |
201
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
164
click to vote
ICAIL
1997
ACM
15 years 10 months ago
1997
ACM
The capacity for self-explanation can makecomputer-drafted documents more credible, assist in the retrieval and adaptation of archival documents, and permit comparison of document...
183
click to vote
CIKM
1997
Springer
15 years 10 months ago
1997
Springer
: In the context of knowledge management, we focus on the representation and the retrieval of past experiences called cases within the Case-Based Reasoning (CBR) paradigm. CBR is a...
178
click to vote
INFOCOM
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a framework for the modeling of multipath routing in connectionless networks that dynamically adapt to network congestion. The basic routing protocol uses a short-term ...
147
click to vote
IPPS
1996
IEEE
15 years 10 months ago
1996
IEEE
The multipass-rendering method integrating radiosity with ray-tracing gives one of the best solutions for synthesizing photo-realistic images. However, the method is also computat...