10890 search results - page 409 / 2178 » Automatic Complexity Analysis |
173
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
A software tool for analyzing Diffusion Tensor MRI (DT-MRI) data is presented. The tool includes methods for segmentation of white matter for automatic definition of seed points fo...
197
click to vote
ISDA
2006
IEEE
16 years 25 days ago
2006
IEEE
We present in this paper a modification of Lumer and Faieta’s algorithm for data clustering. This algorithm discovers automatically clusters in numerical data without prior kno...
170
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
226
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
194
click to vote
ACL
2009
15 years 4 months ago
2009
We demonstrate that the bidirectionality of deep grammars, allowing them to generate as well as parse sentences, can be used to automatically and effectively identify errors in th...