517 search results - page 76 / 104 » Specification transformers: a predicate transformer approach... |
EUROCAST
2001
Springer
14 years 29 days ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
SEMWEB
2001
Springer
14 years 27 days ago
2001
Springer
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
MICCAI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Several sources of uncertainties in shape boundaries in medical images have motivated the use of probabilistic labeling approaches. Although it is well-known that the sam...
CAE
2010
13 years 3 months ago
2010
Humans have always sought to achieve aesthetics in art. In this paper, we present a novel approach for retargeting images to different aspect ratios while improving the compositio...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper proposes a new approach for video stabilization.
Most existing video stabilization methods adopt
a framework of three steps, motion estimation, motion compensation
an...