195 search results - page 25 / 39 » A Case for Automatic Exception Handling |
SARA
2007
Springer
14 years 1 months ago
2007
Springer
Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers...
ICIP
2005
IEEE
14 years 1 months ago
2005
IEEE
We address the reconstruction of a 3D image from a set of incomplete X-ray tomographic data. In the case where the image is composed of one or several objects lying in a uniform b...
SETN
2004
Springer
14 years 1 months ago
2004
Springer
Collecting digital materials is time-consuming and can gain from automation. Since each source—and even each acquisition—may involve a separate negotiation of terms, a collecto...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
Photometric stereo relies on inverting the image formation process, and doing this accurately requires reasoning about the visibility of light sources with respect to each image po...
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
One of the main obstacles to progress in the field of artificial intelligence and law is the natural language barrier, but the technology of natural language processing has advanc...