Sciweavers

2748 search results - page 274 / 550
» Modelling Fuzzy Sets Using Object-Oriented Techniques
Sort
View
GECCO
2008
Springer
182views Optimization» more  GECCO 2008»
15 years 6 months ago
Avida-MDE: a digital evolution approach to generating models of adaptive software behavior
Increasingly, high-assurance applications rely on autonomic systems to respond to changes in their environment. The inherent uncertainty present in the environment of autonomic sy...
Heather Goldsby, Betty H. C. Cheng
SCESM
2006
ACM
266views Algorithms» more  SCESM 2006»
15 years 11 months ago
A comparative survey of scenario-based to state-based model synthesis approaches
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
Hongzhi Liang, Jürgen Dingel, Zinovy Diskin
IJCAI
2007
15 years 6 months ago
Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling
Recently, generative probabilistic modeling principles were extended to visualization of structured data types, such as sequences. The models are formulated as constrained mixture...
Peter Tino, Nikolaos Gianniotis
TASE
2007
IEEE
15 years 11 months ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
ICRA
2002
IEEE
209views Robotics» more  ICRA 2002»
15 years 10 months ago
Probabilistic Shape and Appearance Model for Scene Segmentation
Effective image segmentation of a digitized scene into a set of recognizable objects requires the development of sophisticated scene analysis algorithms. Progress in this area has...
Shaun S. Gleason, Mongi A. Abidi, Hamed Sari-Sarra...