7380 search results - page 1208 / 1476 » time 2008 |
190
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
164
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Table constraints play an important role within constraint programming. Recently, many schemes or algorithms have been proposed to propagate table constraints or/and to c...
160
click to vote
CPM
2008
Springer
15 years 8 months ago
2008
Springer
The Sort Transform (ST) can significantly speed up the block sorting phase of the Burrows-Wheeler transform (BWT) by sorting only limited order contexts. However, the best result o...
172
click to vote
CSCW
2008
ACM
15 years 8 months ago
2008
ACM
Since health care teams are often distributed across time and location, information sharing is crucial for effective patient care. Studying the use of a mobile information technol...
155
click to vote
CVPR
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a multi-frame data association algorithm for tracking multiple targets in video sequences. Multi-frame data association involves finding the most probable corr...