4440 search results - page 396 / 888 » The space of design |
199
click to vote
AAAI
1997
15 years 8 months ago
1997
Many stochastic planning problems can be represented using Markov Decision Processes (MDPs). A difficulty with using these MDP representations is that the common algorithms for so...
201
click to vote
TOG
2008
15 years 7 months ago
2008
We present a new adaptive sampling strategy for ray tracing. Our technique is specifically designed to handle multidimensional sample domains, and it is well suited for efficientl...
192
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a new formalism and a new algorithm for verifying timed circuits. The formalism, called orbital nets, allows hierarchical verification based on abehavioralseman...
182
click to vote
DAC
2006
ACM
16 years 8 months ago
2006
ACM
Chips manufactured in 90 nm technology have shown large parametric variations, and a worsening trend is predicted. These parametric variations make circuit optimization difficult ...
187
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
Research in Ambient Intelligence and Ubiquitous Computing has put computational devices into many social settings while leaving intact much of the "task support and informati...