11160 search results - page 357 / 2232 » Incompleteness in a General Setting |
182
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
Traditionally, when one wants to learn about a particular topic, one reads a book or a survey paper. With the rapid expansion of the Web, learning in-depth knowledge about a topic...
311
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
The serious bugs and security vulnerabilities facilitated by C/C++'s lack of bounds checking are well known, yet C and C++ remain in widespread use. Unfortunately, C's a...
211
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Traditionally, research in identifying structured entities in documents has proceeded independently of document categorization research. In this paper, we observe that these two t...
203
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
183
click to vote
PODS
2008
ACM
16 years 7 months ago
2008
ACM
In the study of data exchange one usually assumes an openworld semantics, making it possible to extend instances of target schemas. An alternative closed-world semantics only move...