10715 search results - page 1975 / 2143 » From Tests to Proofs |
ACL
2010
13 years 5 months ago
2010
In spite of decades of research on word sense disambiguation (WSD), all-words general purpose WSD has remained a distant goal. Many supervised WSD systems have been built, but the...
AISS
2010
13 years 5 months ago
2010
Disaster prevention and management is a complicated task that often involves a tremendous volume of heterogeneous data from various resources. With its dynamic and distributed nat...
INFSOF
2010
13 years 5 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
IR
2010
13 years 5 months ago
2010
The ability to correctly classify sentences that describe events is an important task for many natural language applications such as Question Answering (QA) and Text Summarisation....
CVPR
2011
IEEE
13 years 3 months ago
2011
IEEE
This paper presents a complete solution to estimating a scene’s 3D geometry and appearance from multiple 2D images by using a statistical inverse ray tracing method. Instead of ...