10909 search results - page 706 / 2182 » Evaluating Backup Algorithms |
209
click to vote
ENTCS
2002
15 years 7 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...
182
click to vote
JEI
2002
15 years 7 months ago
2002
This paper describes a database collecting natural color images, called the Natural Image Database, and shows how it is used for illuminant estimation problems. First, we present ...
232
click to vote
PAMI
2002
15 years 7 months ago
2002
Images containing faces are essential to intelligent vision-based human computer interaction, and research efforts in face processing include face recognition, face tracking, pose ...
182
click to vote
TSMC
2002
15 years 7 months ago
2002
Abstract--The notion of the necessary criticality (both with respect to path and to activity) of a network with imprecisely defined (by means of intervals or fuzzy intervals) activ...
238
click to vote
VLDB
2002
ACM
15 years 7 months ago
2002
ACM
In spite of the many decades of progress in database research, surprisingly scientists in the life sciences community still struggle with inefficient and awkward tools for queryin...