Sciweavers

2962 search results - page 422 / 593
» The Bunch-Active Shape Model
Sort
View
DSVIS
2006
Springer
15 years 10 months ago
Formal Modelling of Cognitive Interpretation
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann...
CGF
2000
135views more  CGF 2000»
15 years 6 months ago
Observational Models of Graphite Pencil Materials
This paper presents models for graphite pencil, drawing paper, blenders, and kneaded eraser that produce realistic looking pencil marks, textures, and tones. Our models are based ...
Mario Costa Sousa, John W. Buchanan
CAV
2007
Springer
114views Hardware» more  CAV 2007»
15 years 10 months ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
BILDMED
2008
138views Algorithms» more  BILDMED 2008»
15 years 8 months ago
Level Set Segmentation of Lumbar Vertebrae Using Appearance Models
For the planning of surgical interventions of the spine exact knowledge about 3D shape and the local bone quality of vertebrae are of great importance in order to estimate the anch...
Karl D. Fritscher, Stefan Leber, Werner Schmö...
WSC
1998
15 years 7 months ago
Sensitivity of Output Performance Measures to Input Distributions in Queueing Network Modeling
In Gross and Juttijudata (1997) a single node, G/G/1 queue was investigated as to the sensitivity of output performance measures, such as the mean queue wait, to the shape of the ...
Donald Gross, Denise M. Bevilacqua Masi