3515 search results - page 669 / 703 » On the semantics of Strategy Logic |
198
click to vote
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
195
click to vote
MM
2005
ACM
16 years 13 days ago
2005
ACM
We develop a framework for the automatic discovery of query classes for query-class-dependent search models in multimodal retrieval. The framework automatically discovers useful q...
163
click to vote
MMDB
2003
ACM
16 years 3 days ago
2003
ACM
Conventional approaches to image retrieval are based on the assumption that relevant images are physically near the query image in some feature space. This is the basis of the clu...
214
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
229
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
There is an explosion of community-generated multimedia content available online. In particular, Flickr constitutes a 200-million photo sharing system where users participate foll...