Sciweavers

900 search results - page 137 / 180
» A Tool-Supported Approach to Testing UML Design Models
Sort
View
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
14 years 1 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
BPM
2004
Springer
113views Business» more  BPM 2004»
14 years 1 months ago
OPCATeam - Collaborative Business Process Modeling with OPM
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
Dov Dori, Dizza Beimel, Eran Toch
TMI
2008
154views more  TMI 2008»
13 years 7 months ago
Brain Anatomical Structure Segmentation by Hybrid Discriminative/Generative Models
In this paper, a hybrid discriminative/generative model for brain anatomical structure segmentation is proposed. The learning aspect of the approach is emphasized. In the discrimin...
Zhuowen Tu, Katherine Narr, Piotr Dollár, I...
CVPR
2006
IEEE
14 years 9 months ago
Body Localization in Still Images Using Hierarchical Models and Hybrid Search
We present a 3-level hierarchical model for localizing human bodies in still images from arbitrary viewpoints. We first fit a simple tree-structured model defined on a small landm...
Jiayong Zhang, Jiebo Luo, Robert T. Collins, Yanxi...
GECCO
2008
Springer
158views Optimization» more  GECCO 2008»
13 years 8 months ago
Structure and parameter estimation for cell systems biology models
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
Francisco José Romero-Campero, Hongqing Cao...