5326 search results - page 706 / 1066 » On what we can ensure |
185
click to vote
ICIP
1998
IEEE
16 years 8 months ago
1998
IEEE
The rapid growth of visual data over the last few years has lead to many schemes for retrieving such data. With content-based systems today, there exists a significant gap between...
151
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
160
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Food is a central part of our lives. Fundamentally, we need food to survive. Socially, food is something that brings people together?individuals interact through and around it. Cu...
168
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
The lowly state of the art for file system checking and repair does not match what is needed to keep important data available for users. Current file system checkers, such as e2fs...
282
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Many applications need to solve the following problem of approximate string matching: from a collection of strings, how to find those similar to a given string, or the strings in ...