5326 search results - page 312 / 1066 » On what we can ensure |
168
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiple applications that execute concurrently on heterogeneous platforms compete for CPU and network resources. In this paper we analyze the behavior of K non-cooperative schedu...
174
click to vote
HVC
2005
Springer
16 years 6 days ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
120
click to vote
3DIM
2003
IEEE
15 years 12 months ago
2003
IEEE
Current alignment algorithms for registering range data captured from a 3D scanner assume that the range data depicts identical geometry taken from different views. However, in th...
163
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
Recovery can be extended to new domains at reduced logging cost by exploiting "logical" log operations. During recovery, a logical log operation may read data values fro...
170
click to vote
CVPR
1997
IEEE
15 years 11 months ago
1997
IEEE
Grouping based on common motion, or “common fate” provides a powerful cue for segmenting image sequences. Recently a number of algorithms have been developed that successfully...