Sciweavers

1501 search results - page 95 / 301
» Towards Integration of Modeling Methods for Cyber-Physical S...
Sort
View
143
Voted
MICCAI
2007
Springer
16 years 5 months ago
Adaptive Metamorphs Model for 3D Medical Image Segmentation
Abstract. In this paper, we introduce an adaptive model-based segmentation framework, in which edge and region information are integrated and used adaptively while a solid model de...
Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas,...
146
Voted
WWW
2003
ACM
16 years 4 months ago
Towards a multimedia formatting vocabulary
Time-based, media-centric Web presentations can be described declaratively in the XML world through the development of languages such as SMIL. It is difficult, however, to fully i...
Jacco van Ossenbruggen, Lynda Hardman, Joost Geurt...
CSMR
2006
IEEE
15 years 10 months ago
Towards a Holistic Approach to Redesigning Legacy Applications for the Web with UWAT
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...
Damiano Distante, Scott R. Tilley, Gerardo Canfora
148
Voted
SAC
2005
ACM
15 years 9 months ago
A complex biological database querying method
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
Jake Yue Chen, John V. Carlis, Ning Gao
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 10 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...