1322 search results - page 32 / 265 » Parameterized counting problems |
ICPADS
1998
IEEE
14 years 1 months ago
1998
IEEE
The DAG-based task graph model has been found effective in scheduling for performance prediction and optimization of parallel applications. However the scheduling complexity and s...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— In this paper we address the problem of visual motion estimation (visual odometry) from a single vehicle mounted camera. One of the basic issues of visual odometry is relative ...
COCO
2003
Springer
14 years 2 months ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— Inverse-depth parameterization can successfully deal with the feature initialization problem in monocular simultaneous localization and mapping applications. However, it is red...