9730 search results - page 437 / 1946 » Relating models of backtracking |
189
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
186
click to vote
NETWORKS
2007
15 years 6 months ago
2007
In the pickup and delivery problem with time windows (PDPTW), capacitated vehicles must be routed to satisfy a set of transportation requests between given origins and destination...
183
click to vote
IAJIT
2010
15 years 5 months ago
2010
: The left ventricle tracking in planar scintigraphic images is an important step to study the coronary state. However, it is not as simple as we thought, because of the bad qualit...
204
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
166
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We tackle the challenge of kinship verification using novel feature extraction and selection methods, automatically classifying pairs of face images as "related" or &quo...