7167 search results - page 114 / 1434 » A Technique for Invariant Generation |
189
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
196
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
We describe a generative model of the relationship between two images. The model is deļ¬ned as a factored threeway Boltzmann machine, in which hidden variables collaborate to deļ...
161
click to vote
VIS
2007
IEEE
16 years 7 months ago
2007
IEEE
Analysis of materials obtained from physical simulations is important in the physical sciences. Our research was motivated by the need to investigate the properties of a simulated...
169
click to vote
ML
2006
ACM
16 years 8 days ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
147
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Distributed Video Coding (DVC) is a coding paradigm that gives the decoder the task to exploit the source statistics to achieve efficient compression. Current approaches to DVC rel...