1658 search results - page 256 / 332 » Implementing Bit-addressing with Specialization |
121
click to vote
TSE
2008
15 years 2 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...
112
click to vote
JSAC
2007
15 years 2 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...
109
click to vote
AIR
2002
15 years 2 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...
137
click to vote
AAMAS
2000
Springer
15 years 2 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
15 years 2 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 ...