4806 search results - page 556 / 962 » Interactive uncertainty analysis |
238
Voted
TRECVID
2007
15 years 8 months ago
2007
In this paper we describe our TRECVID 2007 experiments. The MediaMill team participated in two tasks: concept detection and search. For concept detection we extract regionbased im...
167
Voted
PPDP
2005
Springer
16 years 10 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
191
Voted
TACAS
2005
Springer
16 years 10 days ago
2005
Springer
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
198
click to vote
SAC
2004
ACM
16 years 8 days ago
2004
ACM
Web applications have become complex and crucial for many firms, especially when combined with areas such as CRM (Customer Relationship Management) and BPR (Business Process Reen...
160
Voted
ECCV
2004
Springer
16 years 7 days ago
2004
Springer
—Cast shadows can be significant in many computer vision applications, such as lighting-insensitive recognition and surface reconstruction. Nevertheless, most algorithms neglect ...