Sciweavers

1582 search results - page 36 / 317
» Qualitative Representation of Change
Sort
View
UAI
1996
13 years 9 months ago
Context-Specific Independence in Bayesian Networks
Bayesiannetworks provide a languagefor qualitatively representing the conditional independence properties of a distribution. This allows a natural and compact representation of th...
Craig Boutilier, Nir Friedman, Moisés Golds...
KBS
1998
122views more  KBS 1998»
13 years 7 months ago
Concept formation in design
: This paper presents a computationally tractable view on where simple design concepts come from by proposing a paradigm for the formation of design concepts based on the emergence...
John S. Gero
ICASSP
2011
IEEE
12 years 11 months ago
Image compression using the Iteration-Tuned and Aligned Dictionary
We present a new, block-based image codec based on sparse representations using a learned, structured dictionary called the IterationTuned and Aligned Dictionary (ITAD). The quest...
Joaquin Zepeda, Christine Guillemot, Ewa Kijak
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
13 years 5 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth