Sciweavers

4815 search results - page 803 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
ICCV
2007
IEEE
16 years 6 months ago
Supervised Learning of Image Restoration with Convolutional Networks
Convolutional networks have achieved a great deal of success in high-level vision problems such as object recognition. Here we show that they can also be used as a general method ...
Viren Jain, Joseph F. Murray, Fabian Roth, Sriniva...
LCTRTS
2010
Springer
15 years 1 months ago
Improving both the performance benefits and speed of optimization phase sequence searches
The issues of compiler optimization phase ordering and selection present important challenges to compiler developers in several domains, and in particular to the speed, code size,...
Prasad A. Kulkarni, Michael R. Jantz, David B. Wha...
CVPR
2005
IEEE
16 years 6 months ago
Level Set Based Shape Prior Segmentation
We propose a level set based variational approach that incorporates shape priors into Chan-Vese's model [3] for the shape prior segmentation problem. In our model, besides th...
Tony F. Chan, Wei Zhu
ICML
2007
IEEE
16 years 4 months ago
Efficiently computing minimax expected-size confidence regions
Given observed data and a collection of parameterized candidate models, a 1- confidence region in parameter space provides useful insight as to those models which are a good fit t...
Brent Bryan, H. Brendan McMahan, Chad M. Schafer, ...
CAV
2009
Springer
157views Hardware» more  CAV 2009»
16 years 4 months ago
Explaining Counterexamples Using Causality
Abstract. When a model does not satisfy a given specification, a counterexample is produced by the model checker to demonstrate the failure. A user must then examine the counterexa...
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigai...