933 search results - page 14 / 187 » A Fully Automatic hp-Adaptivity |
ICDM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Identifying modules, or natural communities, in large complex networks is fundamental in many fields, including social sciences, biological sciences and engineering. Recently s...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
The 2010 NIST Speaker Recognition Evaluation (SRE10) included a test of Human Assisted Speaker Recognition (HASR) in which systems based in whole or in part on human expertise wer...
ICDT
2009
ACM
13 years 7 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
BILDMED
2008
13 years 11 months ago
2008
In this paper we present a new method for fully automatic liver segmentation in computed tomography images. First, an initial set of seed points for the random walker algorithm is ...