3686 search results - page 351 / 738 » Comprehensive comprehensions |
126
click to vote
CADE
2002
Springer
16 years 3 months ago
2002
Springer
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
124
click to vote
STOC
2003
ACM
16 years 3 months ago
2003
ACM
The main question studied in this article may be viewed as a nonlinear analogue of Dvoretzky's theorem in Banach space theory or as part of Ramsey theory in combinatorics. Gi...
225
click to vote
VLDB
2002
ACM
16 years 3 months ago
2002
ACM
Abstract This paper describes the overall design and architecture of the Timber XML database system currently being implemented at the University of Michigan. The system is based u...
236
Voted
VLDB
2006
ACM
16 years 3 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
210
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Research in modeling and querying spatial data has primarily focused on traditional "crisp" spatial objects with exact location and spatial extent. More recent work, how...