3446 search results - page 506 / 690 » A Reasoning Algorithm for pD* |
271
click to vote
GIS
2006
ACM
16 years 6 months ago
2006
ACM
Location information gathered from a variety of sources in the form of sensor data, video streams, human observations, and so on, is often imprecise and uncertain and needs to be ...
138
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
The number and magnitude of process variation sources are increasing as we scale further into the nano regime. Today's most successful response surface methods limit us to lo...
155
Voted
DAC
2000
ACM
16 years 6 months ago
2000
ACM
This paper presents MINFLOTRANSIT, a new transistor sizing tool for fast sizing of combinational circuits with minimal cost. MINFLOTRANSIT is an iterative relaxation based tool th...
147
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
162
click to vote
DAC
2006
ACM
16 years 6 months ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...