2694 search results - page 85 / 539 » Frege's New Science |
170
click to vote
FUIN
2000
15 years 6 months ago
2000
In semantic and object-oriented data models, each class has one or more typing properties that associate it to other classes, and carry type information about all instances of the ...
213
click to vote
EDBT
2012
ACM
13 years 8 months ago
2012
ACM
Increased availability of large repositories of chemical compounds has created new challenges and opportunities for the application of data-mining and indexing techniques to probl...
194
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
166
click to vote
RTA
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We show how polynomial path orders can be employed efficiently in conjunction with weak innermost dependency pairs to automatically certify the polynomial runtime comple...
160
click to vote
ACSC
2007
IEEE
16 years 22 days ago
2007
IEEE
A common approach in designing relational databases is to start with a universal relation schema, which is then decomposed into multiple subschemas. A good choice of subschemas ca...