532 search results - page 92 / 107 » The Logic of Quasi-MV Algebras |
189
click to vote
GIS
2008
ACM
16 years 25 days ago
2008
ACM
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...
CADE
2001
Springer
16 years 2 days ago
2001
Springer
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
163
click to vote
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
We present a method to evaluate path queries based on the novel concept of partial path instances. Our method (1) maximizes performance by means of sequential scans or asynchronou...
HASKELL
2009
ACM
15 years 6 months ago
2009
ACM
In this paper we describe the architecture of the Utrecht Haskell Compiler (UHC). UHC is a new Haskell compiler, that supports most (but not all) Haskell 98 features, plus some ex...
123
click to vote
ECOWS
2007
Springer
15 years 6 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...