3706 search results - page 397 / 742 » The Transformational Approach to Program Development |
143
click to vote
IAJIT
2008
15 years 4 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
120
click to vote
AMR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Extraction of visual descriptors is a crucial problem for stateof-the-art visual information analysis. In this paper, we present a knowledgebased approach for detection o...
142
click to vote
NIPS
2008
15 years 6 months ago
2008
This paper introduces a new approach to constructing meaningful lower dimensional representations of sets of data points. We argue that constraining the mapping between the high a...
152
click to vote
VCIP
2003
15 years 5 months ago
2003
We propose a novel approach that uses disparity-compensated lifting for wavelet compression of light fields. Disparity compensation is incorporated into the lifting structure for...
107
click to vote
SCAM
2006
IEEE
15 years 10 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...