7393 search results - page 1286 / 1479 » Synthesis-for-testability using transformations |
131
click to vote
IJCV
2007
15 years 3 months ago
2007
The shape of a population of geometric entities is characterized by both the common geometry of the population and the variability among instances. In the deformable model approach...
110
Voted
ALIFE
2005
15 years 3 months ago
2005
We present a novel formal interpretation of dynamical hierarchies based on information theory, in which each level is a near-state-determined system, and levels are related to one ...
122
Voted
ALIFE
2005
15 years 3 months ago
2005
We analyze the conditions for agency in natural and artificial systems. In the case of basic (natural) autonomous systems, self-construction and activity in the environment are two...
145
Voted
SPE
2008
15 years 3 months ago
2008
: Integration of multiple data sources is becoming increasingly important for enterprises that cooperate closely with their partners for e-commerce. OLAP enables analysts and decis...
116
Voted
STTT
2008
15 years 3 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...