4541 search results - page 687 / 909 » Cache-Oblivious Algorithms and Data Structures |
186
click to vote
RT
1997
Springer
15 years 11 months ago
1997
Springer
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
157
Voted
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
This report details our development of a computer controlled spotlight with four actuated degrees-of-freedom for pan, tilt, linear movement, and beam focusing. We review the mecha...
167
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
155
Voted
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
In earlier work, we presented an abstraction-refinement mechanism that was successful in verifying automatically the partial correctness of in-situ list reversal when applied to an...
201
click to vote
DAWAK
2006
Springer
15 years 10 months ago
2006
Springer
In the paper, a new evolutionary algorithm (EA) for mixed tree learning is proposed. In non-terminal nodes of a mixed decision tree different types of tests can be placed, ranging ...