209 search results - page 15 / 42 » Reasoning with Intervals on Granules |
100
Voted
EDBT
2004
ACM
16 years 18 days ago
2004
ACM
XML suffers from the major limitation of high redundancy. Even if compression can be beneficial for XML data, however, once compressed, the data can be seldom browsed and queried i...
101
Voted
CSSC
2008
15 years 16 days ago
2008
The decorrelating property of the discrete wavelet transformation (DWT) appears valuable because one can avoid estimating the correlation structure in the original data space by b...
105
Voted
LPAR
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
109
Voted
IJCAI
2003
15 years 1 months ago
2003
Temporal Constraint Satisfaction Problems allow for reasoning with events happening over time. Their expressiveness has been extended independently in two directions: to account f...
146
click to vote
CONSTRAINTS
1998
15 years 4 days ago
1998
Many temporal applications like planning and scheduling can be viewed as special cases of the numeric and symbolic temporal constraint satisfaction problem. Thus we have developed ...