1658 search results - page 256 / 332 » Implementing Bit-addressing with Specialization |
TSE
2008
13 years 10 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
JSAC
2007
13 years 10 months ago
2007
— This paper addresses the problem of optimizing the packet transmission schedule in a multihop wireless network with end-to-end delay constraints. The emphasis is to determine t...
AIR
2002
13 years 10 months ago
2002
A key role for Artificial Intelligence technology in electronic commerce is in finding products and services that meet a user's requirements. This may be implemented as a thr...
AAMAS
2000
Springer
13 years 9 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
CGF
2000
13 years 9 months ago
2000
We present a technique for accelerating the rendering of high depth-complexity scenes. In a preprocessing stage, we approximate the input model with a hierarchical data structure ...