2000 search results - page 296 / 400 » Program Transformation and Proof Transformation |
103
click to vote
ICML
2005
IEEE
16 years 4 months ago
2005
IEEE
Dimensionality reduction is the problem of finding a low-dimensional representation of highdimensional input data. This paper examines the case where additional information is kno...
111
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
112
click to vote
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper presents a semi-automatic method for the segmentation and the tracking of the mitral valve leaflet in transesophageal echocardiography. We use two connected active cont...
198
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
136
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We take a dual view of Markov processes ? advocated by Kozen ? as transformers of bounded measurable functions. We redevelop the theory of labelled Markov processes from this view ...