5326 search results - page 58 / 1066 » On what we can ensure |
147
click to vote
ISSTA
2012
ACM
13 years 3 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
107
click to vote
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. There is a huge diversity of definitions of "visually meaningful" image segments, ranging from simple uniformly colored segments, textured segments, through sym...
91
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
Collaborative filtering (CF) techniques have proved to be a powerful and popular component of modern recommender systems. Common approaches such as user-based and item-based metho...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
87
Voted
COOPIS
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. We describe LOCALE, a system that allows cooperating information systems to share labels for photographs. Participating photographs are enhanced with a geographic locatio...