1322 search results - page 250 / 265 » Unsound Theorem Proving |
128
click to vote
SIAMCOMP
1998
15 years 1 months ago
1998
Abstract. String matching is rich with a variety of algorithmic tools. In contrast, multidimensional matching has had a rather sparse set of techniques. This paper presents a new a...
140
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
167
click to vote
ICLP
2011
Springer
14 years 5 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
103
click to vote
GC
2007
Springer
15 years 1 months ago
2007
Springer
We localize and strengthen Katona’s idea of an edge-toughness to a local topological toughness. We disprove a conjecture of Katona concerning the connection between edgetoughnes...
230
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Given a record set D and a query score function F, a top-k query returns k records from D, whose values of function F on their attributes are the highest. In this paper, we investi...