3446 search results - page 494 / 690 » A Reasoning Algorithm for pD* |
167
click to vote
ICCAD
2004
IEEE
16 years 2 months ago
2004
IEEE
—In this paper, we present a new block budgeting algorithm which speeds up timing closure in timing driven hierarchical flows. After a brief description of the addressed flow, ...
219
click to vote
WEA
2010
Springer
16 years 18 days ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
149
click to vote
GIS
2009
ACM
16 years 17 days ago
2009
ACM
The increasing availabilities of GPS-enabled devices have given rise to the location-based social networking services (LBSN), in which users can record their travel experiences wi...
192
Voted
ATAL
2009
Springer
16 years 10 days ago
2009
Springer
Previous work in multiagent coordination has addressed the challenge of planning in domains where agents must optimize a global goal, while satisfying local resource constraints. ...
295
click to vote
ICRA
2008
IEEE
16 years 6 days ago
2008
IEEE
— Image-based navigation paradigms have recently emerged as an interesting alternative to conventional modelbased methods in mobile robotics. In this paper, we augment the existi...