5159 search results - page 805 / 1032 » Structural Testing of Executables |
210
click to vote
SIGIR
2011
ACM
14 years 10 months ago
2011
ACM
Versioned textual collections are collections that retain multiple versions of a document as it evolves over time. Important large-scale examples are Wikipedia and the web collect...
224
click to vote
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
Query optimization in RDF Stores is a challenging problem as SPARQL queries typically contain many more joins than equivalent relational plans, and hence lead to a large join orde...
180
Voted
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
Image segmentation and its performance evaluation are very difficult but important problems in computer vision. A major challenge in segmentation evaluation comes from the fundame...
307
click to vote
GIS
2004
ACM
16 years 8 months ago
2004
ACM
Modern database applications including computer-aided design, multimedia information systems, medical imaging, molecular biology, or geographical information systems impose new re...
349
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...