Sciweavers

1855 search results - page 200 / 371
» System Consequence
Sort
View
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 8 months ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
IM
2007
15 years 6 months ago
Automated Availability Management Driven by Business Policies
—Policy-driven service management helps reduce IT management cost and it keeps the service management aligned with business objectives. While most of the previous research focuse...
Zhongtang Cai, Yuan Chen, Vibhore Kumar, Dejan S. ...
ICB
2007
Springer
280views Biometrics» more  ICB 2007»
15 years 10 months ago
3D Model-Based Face Recognition in Video
Face recognition in video has gained wide attention due to its role in designing surveillance systems. One of the main advantages of video over still frames is that evidence accumu...
Unsang Park, Anil K. Jain
CICLING
2003
Springer
15 years 9 months ago
Computing with Realizational Morphology
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...
Lauri Karttunen
HICSS
2007
IEEE
97views Biometrics» more  HICSS 2007»
15 years 10 months ago
Decision Support in Health Care via Root Evidence Sampling
— Bayesian networks play a key role in decision support within health care. Physicians rely on Bayesian networks to give medical treatment, generate what-if scenarios, and other ...
Benjamin B. Perry, Eli Faulkner