1632 search results - page 287 / 327 » Sublinear Time Algorithms for Metric Space Problems |
122
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
115
Voted
ISSRE
2007
IEEE
15 years 5 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
161
Voted
AIPS
2009
15 years 4 months ago
2009
Probabilistic Roadmaps (PRM) are a commonly used class of algorithms for robot navigation tasks where obstacles are present in the environment. We examine the situation where the ...
148
Voted
PPSN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. There is a variety of methods for ranking objectives in multiobjective optimization and some are difficult to define because they require information a priori (e.g. esta...
140
Voted
PVLDB
2010
15 years 1 months ago
2010
Optimization of join queries based on average selectivities is suboptimal in highly correlated databases. In such databases, relations are naturally divided into partitions, each ...