4306 search results - page 356 / 862 » Timed Testing with TorX |
236
Voted
AMW
2011
14 years 7 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
125
Voted
EVOW
2011
Springer
14 years 7 months ago
2011
Springer
We address the problem of automatically designing maps for first-person shooter (FPS) games. An efficient solution to this procedural content generation (PCG) problem could allow ...
132
click to vote
JORS
2011
14 years 6 months ago
2011
: Transportation is an important part of the Canadian furniture industry supply chain. Even though there are often several manufacturers shipping in the same market region, coordin...
167
click to vote
SIAMCOMP
2011
14 years 6 months ago
2011
We consider the problem of testing graph expansion (either vertex or edge) in the bounded degree model [10]. We give a property tester that given a graph with degree bound d, an ex...
181
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
In this paper, we propose an efficient technique to detect changes in the geometry of an urban environment using some images observing its current state. The proposed method can ...