62 search results - page 10 / 13 » Pointwise generalized algebraic data types |
138
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
103
click to vote
ICCV
2005
IEEE
16 years 5 months ago
2005
IEEE
In this paper, we investigate the mathematical problem underlying segmentation of hybrid motions: Given a series of tracked feature correspondences between two (perspective) image...
118
click to vote
CTRS
1987
15 years 6 months ago
1987
Conditional rewriting has been studied both from the point of view of algebraic data type specifications and as a computational paradigm combining logic and functional programming...
112
click to vote
BNCOD
2004
15 years 4 months ago
2004
When storing data in heterogeneous databases, one of the top-down design issues concerns the usage of multiple query languages. A common language enables querying of database schem...
131
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...