Sciweavers

6881 search results - page 270 / 1377
» Motivation
Sort
View
MFCS
2009
Springer
16 years 1 months ago
The Longest Path Problem Is Polynomial on Interval Graphs
The longest path problem is the problem of finding a path of maximum length in a graph. Polynomial solutions for this problem are known only for small classes of graphs, while it ...
Kyriaki Ioannidou, George B. Mertzios, Stavros D. ...
OOPSLA
2009
Springer
16 years 1 months ago
Model transformation by demonstration
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...
Yu Sun
PSIVT
2009
Springer
125views Multimedia» more  PSIVT 2009»
16 years 1 months ago
Implicit Surface Reconstruction with an Analogy of Polar Field Model
Implicit surface reconstruction has been a challenging work for decades. In this paper, motivated by the concept of classic physical polar field model and off-set points strategy...
Yuxu Lin, Chun Chen, Mingli Song, Jiajun Bu, Ziche...
RULEML
2009
Springer
16 years 1 months ago
TomML: A Rule Language for Structured Data
Abstract. We present the Tom language that extends Java with the purpose of providing high level constructs inspired by the rewriting community. Tom bridges thus the gap between a ...
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Re...
SBMF
2009
Springer
16 years 1 months ago
Corecursive Algebras: A Study of General Structured Corecursion
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
Venanzio Capretta, Tarmo Uustalu, Varmo Vene