Sciweavers

2025 search results - page 184 / 405
» Minimal-Cut Model Composition
Sort
View
ICECCS
2005
IEEE
73views Hardware» more  ICECCS 2005»
15 years 10 months ago
Integrating Object-Z with Timed Automata
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
Jin Song Dong, Roger Duke, Ping Hao
WSC
2007
15 years 6 months ago
Composing simulation models using interface definitions based on web service descriptions
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
Mathias Röhl, Stefan Morgenstern
ISAMI
2010
15 years 2 months ago
Employing Compact Intra-genomic Language Models to Predict Genomic Sequences and Characterize Their Entropy
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
Sérgio A. D. Deusdado, Paulo Carvalho
MICAI
2007
Springer
15 years 10 months ago
An EM Algorithm to Learn Sequences in the Wavelet Domain
The wavelet transform has been used for feature extraction in many applications of pattern recognition. However, in general the learning algorithms are not designed taking into acc...
Diego H. Milone, Leandro E. Di Persia
ICPR
2010
IEEE
15 years 8 months ago
Vehicle Recognition As Changes in Satellite Imagery
Over the last several years, a new probabilistic representation for 3-d volumetric modeling has been developed. The main purpose of the model is to detect deviations from the norm...
Ozge Can Ozcanli, Joseph Mundy