1088 search results - page 118 / 218 » A Bayesian Approach to Tackling Hard Computational Problems |
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
DAC
2005
ACM
14 years 11 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
CVPR
2008
IEEE
15 years 24 days ago
2008
IEEE
Practically all existing approaches to structure and motion computation use only positive image correspondences to verify the camera pose hypotheses. Incorrect epipolar geometries...
HPCC
2007
Springer
14 years 5 months ago
2007
Springer
In a data-indexed DHT overlay network, published data annotations form distributed databases. Queries are distributed to these databases in a nonuniform way. Constructing content d...
SAC
2005
ACM
14 years 4 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...