386 search results - page 26 / 78 » Model Classifications and Automated Verification |
96
Voted
DAWAK
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A federated data warehouse is a logical integration of data warehouses applicable when physical integration is impossible due to privacy policy or legal restrictions. In ...
107
click to vote
ICFEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
129
Voted
ICSE
2004
IEEE-ACM
16 years 16 days ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
109
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
133
click to vote
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
In this paper we present a fully automated approach to the segmentation of pediatric brain tumors in multi-spectral 3-D magnetic resonance images. It is a top-down segmentation app...