5086 search results - page 564 / 1018 » The Power of Comparative Reasoning |
192
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
128
click to vote
PADL
2001
Springer
15 years 11 months ago
2001
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
162
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
We present new algorithms for creating and rendering visual hulls in real-time. Unlike voxel or sampled approaches, we compute an exact polyhedral representation for the visual hul...
198
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new localization algorithm called Sensor Resetting Localization which is an extension of Monte Carlo Localization. The algorithm adds sensor based resampling to Monte...
182
click to vote
RTCSA
2000
IEEE
15 years 11 months ago
2000
IEEE
Traditional multiprocessor real-time scheduling partitions a task set and applies uniprocessor scheduling on each processor. By allowing a task to resume on another processor than...