Sciweavers

4890 search results - page 674 / 978
» From system specifications to component behavioral models
Sort
View
MICCAI
2006
Springer
16 years 7 months ago
Spinal Crawlers: Deformable Organisms for Spinal Cord Segmentation and Analysis
Spinal cord analysis is an important problem relating to the study of various neurological diseases. We present a novel approach to spinal cord segmentation in magnetic resonance i...
Chris McIntosh, Ghassan Hamarneh
ESEM
2007
ACM
15 years 8 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
PTS
2008
87views Hardware» more  PTS 2008»
15 years 8 months ago
Test Construction for Mathematical Functions
The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It considers current standards' requirements to such ...
Victor V. Kuliamin
ICMCS
2008
IEEE
156views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Human attention model for semantic scene analysis in movies
In this paper, we specifically propose the Weber-Fechner Law-based human attention model for semantic scene analysis in movies. Different from traditional video processing techniq...
Anan Liu, Yongdong Zhang, Yan Song, Dongming Zhang...
ICDE
1997
IEEE
114views Database» more  ICDE 1997»
16 years 8 months ago
Modeling Multidimensional Databases
We propose a data model and a few algebraic operations that provide semantic foundation to multidimensional databases. The distinguishing feature of the proposed model is the symm...
Rakesh Agrawal, Ashish Gupta, Sunita Sarawagi