5525 search results - page 253 / 1105 » Verification of Model Transformations |
146
Voted
ASAP
2010
IEEE
15 years 6 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
155
click to vote
BC
2005
15 years 4 months ago
2005
For reaching to and grasping of an object, visual information about the object must be transformed into motor or postural commands for the arm and hand. In this paper, we present a...
140
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
We present here an approach for applying the technique of modeling data transformation manifolds for invariant learning with kernel methods. The approach is based on building a ke...
153
click to vote
ISASSCI
2001
15 years 6 months ago
2001
The bottleneck of a data warehouse implementation is the ETL (extraction, transformation, and load) process, which carries out the initial population of the data warehouse and its...
142
click to vote
ENTCS
2006
15 years 4 months ago
2006
Locality is a standard notion of finite model theory. There are two well known flavors of it, based on Hanf's and Gaifman's theorems. Essentially they say that structure...