692 search results - page 72 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
MICCAI
2010
Springer
14 years 10 months ago
2010
Springer
The use of machine learning tools is gaining popularity in neuroimaging, as it provides a sensitive assessment of the information conveyed by brain images. In particular, finding ...
107
click to vote
COMPLIFE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...
131
click to vote
TRIER
2002
14 years 11 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
115
click to vote
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Behavior understanding and semantic interpretation of dynamic visual scenes have attracted a lot of attention in computer vision research community. Although the use of surveillan...