9316 search results - page 367 / 1864 » Analysis of traceback techniques |
177
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Feature detection on MR images has largely relied on intensity classification and gradient-based magnitudes. In this paper, we propose the use of phase congruency as a more robust ...
214
click to vote
IPMI
1999
Springer
16 years 7 months ago
1999
Springer
The goal of this work is to develop an approach to shape representation and classification that will allow us to detect and quantify differences in shape of anatomical structures d...
203
click to vote
ICML
2006
IEEE
16 years 7 months ago
2006
IEEE
Policy evaluation is a critical step in the approximate solution of large Markov decision processes (MDPs), typically requiring O(|S|3 ) to directly solve the Bellman system of |S...
178
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
158
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...