11321 search results - page 168 / 2265 » Improvements to Turing's method |
154
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper outlines the ubiquitous presence of generalized orientation (or subspace) estimationproblems in image analysis. We show the potential sources of bias in naive approache...
163
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
An algorithm for improved automatic segmentation of gross anatomical structures of the human brain is presented that merges the output of a tissue classification process with gross...
185
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
254
click to vote
QUANTUMCOMM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we first critically analyze two existing latticebased cryptosystems, namely GGH and Micciancio, and identify their drawbacks. Then, we introduce a method ...
174
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...