4212 search results - page 533 / 843 » On Compressible Pairings and Their Computation |
217
click to vote
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
157
click to vote
ICIAR
2004
Springer
16 years 5 days ago
2004
Springer
Finding contours in constrained search space is a well known problem. It is encountered in such areas as tracking objects in videos, or finding objects within defined boundaries....
154
click to vote
LCTRTS
2004
Springer
16 years 5 days ago
2004
Springer
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
157
click to vote
SIGGRAPH
2003
ACM
16 years 1 days ago
2003
ACM
Modelling by analogy has become a powerful paradigm for editing images. Using a pair of before- and afterexample images of a transformation, a system that models by analogy produc...
178
click to vote
CONCUR
2003
Springer
16 years 1 days ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...