3984 search results - page 477 / 797 » A Model-Driven Transformation Method |
159
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
183
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
Three-dimensional structure information can be estimated from two-dimensional images using recursive estimation methods. This paper investigates possibilities to improve structure...
152
click to vote
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract— Nonlinear mapping is an approach of multidimensional scaling where a high-dimensional space is transformed into a lower-dimensional space such that the topological char...
180
click to vote
MVA
2007
15 years 8 months ago
2007
Mammography is the best method for early mass detection. In order to limit the search for abnormalities by Computer Aided Diagnosis systems to the region of the breast without und...
151
click to vote
MVA
1996
15 years 8 months ago
1996
Since conventional correlation-based visual tracking algorithms are based on a single reference block, they often fail to track a target in the following situations: 1) a view of ...