Sciweavers

95 search results - page 13 / 19
» Error propagation in geometric constructions
Sort
View
PASTE
2010
ACM
14 years 19 days ago
Learning universal probabilistic models for fault localization
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
Min Feng, Rajiv Gupta
TMI
2008
122views more  TMI 2008»
13 years 7 months ago
The Elliptical Cone of Uncertainty and Its Normalized Measures in Diffusion Tensor Imaging
Diffusion tensor magnetic resonance imaging (DT-MRI) is capable of providing quantitative insights into tissue microstructure in the brain. An important piece of information offere...
Cheng Guan Koay, U. Nevo, Lin-Ching Chang, Carlo P...
CCS
2003
ACM
14 years 23 days ago
MECA: an extensible, expressive system and language for statically checking security properties
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. ...
CVPR
2010
IEEE
13 years 10 months ago
Ray Markov Random Fields for Image-Based 3D Modeling: Model and Efficient Inference
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
Shubao Liu, David Cooper
GIS
2006
ACM
14 years 8 months ago
Optimal BSPs and rectilinear cartograms
A cartogram is a thematic map that visualizes statistical data about a set of regions like countries, states or provinces. The size of a region in a cartogram corresponds to a par...
Mark de Berg, Elena Mumford, Bettina Speckmann