36 search results - page 7 / 8 » An Approximate Model for Bidders in Sequential Automated Auc... |
ICCAD
1995
IEEE
13 years 9 months ago
1995
IEEE
With an ever-increasing portion of the delay in highspeed CMOS chips attributable to the interconnect, interconnect-circuit design automation continues to grow in importance. By t...
ICRA
2006
IEEE
13 years 11 months ago
2006
IEEE
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
JAIR
2010
13 years 3 months ago
2010
Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive mon...
IROS
2007
IEEE
13 years 11 months ago
2007
IEEE
— In this paper we address the joint problems of automated data acquisition and view planning for large–scale indoor and outdoor sites. Our method proceeds in two distinct stag...
DAC
2001
ACM
14 years 6 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...