3987 search results - page 637 / 798 » Ontology-Based Model Transformation |
166
click to vote
SLP
1993
15 years 7 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
170
click to vote
GIS
2008
ACM
15 years 7 months ago
2008
ACM
Bintrees based on longest edge bisection and hierarchies of diamonds are popular multiresolution techniques on regularly sampled terrain datasets. In this work, we consider sparse...
188
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
176
click to vote
ICANN
2010
Springer
15 years 6 months ago
2010
Springer
This paper addresses the problem of lip segmentation in color space, which is a crucial issue to the success of a lip-reading system. We present a new segmentation approach to lip ...
186
click to vote
ISVC
2010
Springer
15 years 7 months ago
2010
Springer
We present a method for nonrigid registration of 2-D geometric shapes. Our contribution is twofold. First, we extend the classic chamfer-matching energy to a variational functional...