2354 search results - page 298 / 471 » Tracking Stopping Times |
119
Voted
JFP
2008
15 years 4 months ago
2008
t two complementary improvements for abstract-interpretation-based flow analysis r-order languages: (1) abstract garbage collection and (2) abstract counting.1,2 garbage collecti...
153
click to vote
JSW
2007
15 years 4 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
107
Voted
AMAI
2002
Springer
15 years 4 months ago
2002
Springer
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
130
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we report a robust, efficient, and automatic method for matching infrared tracked markers for human motion analysis in computer-aided physical therapy applications. ...
115
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper a technique is presented to estimate the traffic intensity for each lane. This method does not require background estimation or even the identification and tracking ...