3145 search results - page 91 / 629 » Algebraic Linear Orderings |
236
click to vote
ICDE
2000
IEEE
16 years 5 months ago
2000
IEEE
Most real-world database applications contain a substantial portion of time-referenced, or temporal, data. Recent advances in temporal query languages show that such database appl...
131
click to vote
MFCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
135
click to vote
TPHOL
1998
IEEE
15 years 8 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
134
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
A model for statistical ranking is a family of probability distributions whose states are orderings of a xed nite set of items. We represent the orderings as maximal chains in a ...
126
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Queries for composite events typically involve the four complementary dimensions of event data, event composition, relationships between events (esp. temporal and causal), and acc...