Sciweavers

10874 search results - page 316 / 2175
» An Improvement in Sugeno-Yasukawa Modeler
Sort
View
FORMATS
2007
Springer
16 years 29 days ago
Hypervolume Approximation in Timed Automata Model Checking
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
Víctor A. Braberman, Jorge Lucángeli...
ICIAP
2007
ACM
16 years 29 days ago
CT-PET Landmark-based Lung Registration Using a Dynamic Breathing Model
This paper deals with the problem of non-linear landmark-based registration of CT (at two different instants of the breathing cycle, intermediate expirations) and PET images of th...
Sylvie Chambon, Antonio Moreno-Ingelmo, Anand P. S...
IFIP
2007
Springer
16 years 28 days ago
Semantic Context Reasoning Using Ontology Based Models
New mobile computing technologies and the increasing use of portable devices have pushed the development of the so-called context-aware applications. This new class of applications...
Rodrigo Mantovaneli Pessoa, Camilo Zardo Calvi, Jo...
KES
2007
Springer
16 years 28 days ago
Automated Ham Quality Classification Using Ensemble Unsupervised Mapping Models
This multidisciplinary study focuses on the application and comparison of several topology preserving mapping models upgraded with some classifier ensemble and boosting techniques ...
Bruno Baruque, Emilio Corchado, Hujun Yin, Jordi R...
CIMCA
2006
IEEE
16 years 26 days ago
Constrained Circular Hidden Markov Models for Recognizing Deformed Shapes
In this paper, we analyse the properties of the standard circular hidden Markov model (HMM) on 2D shape recognition. We point out the limitations of the circular HMMs and further ...
Jinhai Cai