89 search results - page 12 / 18 » Transformation Laws for UML-RT |
ICFP
2002
ACM
14 years 8 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
CIVR
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a comparative study of methods for video copy detection. Different state-of-the-art techniques, using various kinds of descriptors and voting functions, are d...
ICPR
2004
IEEE
14 years 9 months ago
2004
IEEE
In this paper, we develop a new method for recovering and smoothing fields of surface normals in shape-fromshading. We show how transform the problem of recovering surface normals...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this work we propose a new way to achieve visual servoing using directly the information (as defined by Shannon) of the image. A metric derived from information theory, mut...
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
Traversal strategies are at the heart of transformational programming with rewriting-based frameworks such as Stratego/XT or Tom and specific approaches for generic functional pr...