860 search results - page 65 / 172 » Japanese Case Structure Analysis |
129
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
115
click to vote
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
One of the hallmarks of Alzheimer’s disease (AD) is the loss of neurons in the brain. In many cases, the medical experts use MR (magnetic resonance) images to qualitatively meas...
129
click to vote
AMDO
2004
Springer
15 years 9 months ago
2004
Springer
Today in many applications the study of human movement using a computer vision and graphics techniques is very useful. One of these applications is the three-dimensional reconstruc...
141
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
210
click to vote
CSCLP
2008
Springer
15 years 6 months ago
2008
Springer
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...