1112 search results - page 125 / 223 » Executing Abstract Test Cases |
107
click to vote
ICCSA
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, efficient and economical methods for water area detection during flood event in mountainous area is proposed. To accomplish this, various case studies were...
132
click to vote
JAR
2008
15 years 3 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
139
click to vote
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We present an algebraic solution to both direct and featurebased registration of diffusion tensor images under various local deformation models. In the direct case, we sh...
117
click to vote
MAGS
2007
15 years 2 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
129
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...