Sciweavers

630 search results - page 58 / 126
» Causality based generation of directed test cases
Sort
View
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
15 years 11 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
BILDMED
2009
128views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Surface-Based Respiratory Motion Classification and Verification
To ensure precise tumor irradiation in radiotherapy a stable breathing pattern is mandatory as tumors are moving due to respiratory motion. Consequentially, irregularities of respi...
Kerstin Müller, Christian Schaller, Jochen Pe...
KES
2007
Springer
16 years 13 days ago
Predictive and Contextual Feature Separation for Bayesian Metanetworks
Bayesian Networks are proven to be a comprehensive model to describe causal relationships among domain attributes with probabilistic measure of conditional dependency. However, dep...
Vagan Y. Terziyan
SEW
2007
IEEE
16 years 17 days ago
Testing Patterns
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
Neelam Soundarajan, Jason O. Hallstrom, Adem Delib...
CVPR
2005
IEEE
16 years 8 months ago
A Generative Model of Human Hair for Hair Sketching
Human hair is a very complex visual pattern whose representation is rarely studied in the vision literature despite its important role in human recognition. In this paper, we prop...
Hong Chen, Song Chun Zhu