Sciweavers

8141 search results - page 349 / 1629
» Higher Order Generalization
Sort
View
AMC
2007
80views more  AMC 2007»
15 years 6 months ago
A dynamic generating graphical model for point-sets matching
This paper presents a new dynamic generating graphical model for point-sets matching. The existing algorithms on graphical models proved to be quite robust to noise but are suscep...
Xuan Zhao, Shengjin Wang, Xiaoqing Ding
CGF
2010
185views more  CGF 2010»
15 years 6 months ago
Constrained Texture Mapping using Image Warping
We introduce in this paper a new method for smooth foldover-free warping of images. It allows users to specify the constraints in two different ways: positional constraints to con...
Hyewon Seo, Frederic Cordier
ECEASST
2008
83views more  ECEASST 2008»
15 years 6 months ago
Layered Architecture Consistency for MANETs: Introducing New Team Members
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
ENTCS
2008
140views more  ENTCS 2008»
15 years 6 months ago
Functions and Lazy Evaluation in Prolog
There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded...
Juan Rodríguez-Hortalá, Jaime S&aacu...
ENTCS
2008
118views more  ENTCS 2008»
15 years 6 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini