Sciweavers

2748 search results - page 285 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
ICIP
2001
IEEE
16 years 6 months ago
Bayesian resolution-enhancement framework for transform-coded video
Resolution enhancement for video sequences has always been an attractive application in multimedia signal processing. "Superresolution" methods, that combine non-redunda...
Bahadir K. Gunturk, Yucel Altunbasak, Russell M. M...
EUROMICRO
1998
IEEE
15 years 9 months ago
Design Correctness of Digital Systems
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
Corrie Huijs
FORTE
2007
15 years 6 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
137
Voted
NIPS
2001
15 years 6 months ago
Fast, Large-Scale Transformation-Invariant Clustering
In previous work on "transformed mixtures of Gaussians" and "transformed hidden Markov models", we showed how the EM algorithm in a discrete latent variable mo...
Brendan J. Frey, Nebojsa Jojic
ICSEA
2007
IEEE
15 years 11 months ago
Test Data Generation from UML State Machine Diagrams using GAs
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...
Chartchai Doungsa-ard, Keshav P. Dahal, M. Alamgir...