3458 search results - page 394 / 692 » Abstracting Control |
164
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation o...
167
click to vote
CICLING
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
153
click to vote
RECOMB
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We present a fast converging method for distance-based phylogenetic inference, which is novel in two respects. First, it is the only method (to our knowledge) to guarante...
126
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
149
click to vote
ESSOS
2010
Springer
16 years 1 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...