204 search results - page 31 / 41 » Parameterizations of Test Cover with Bounded Test Sizes |
ISAAC
2005
Springer
15 years 3 months ago
2005
Springer
This paper addresses geometric problems that concern manufacturing an object using a cast with a core. In casting, molten material is poured into the cavity of the cast and allowe...
SSD
2001
Springer
15 years 2 months ago
2001
Springer
Spatial joins are fundamental in spatial databases. Over the last decade, the primary focus of research has been on joins with the predicate “region intersection.” In modern da...
107
click to vote
FGR
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, a novel sparse feature set is introduced into the Adaboost learning framework for multi-view face detection (MVFD), and a learning algorithm based on heuristic sear...
ICRA
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper we consider the problem of exploring an unknown environment by a team of robots. As in single-robot exploration the goal is to minimize the overall exploration time....
103
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...