157 search results - page 13 / 32 » Incremental Compilation-to-SAT Procedures |
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we tackle the problem of topology formation in Bluetooth Wireless Personal Area Networks (BTWPANs). We first overview and extend a previously proposed centralized ...
HEURISTICS
2002
14 years 9 months ago
2002
This paper presents a heuristic algorithm for solving RCPSP/max, the resource constrained project scheduling problem with generalized precedence relations. The algorithm relies, a...
TSP
2011
14 years 4 months ago
2011
—Radar high-resolution range profiles (HRRPs) are typical high-dimensional, non-Gaussian and interdimension dependently distributed data, the statistical modelling of which is a...
121
click to vote
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
The effectiveness and clinical benefits of image guided surgery are
well established for procedures where there is manageable tissue motion. In
minimally invasive cardiac, gastro...
110
click to vote
ICCV
2007
IEEE
15 years 11 months ago
2007
IEEE
Object tracking is viewed as a two-class 'one-versusrest' classification problem, in which the sample distribution of the target is approximately Gaussian while the back...