Search Sciweavers | Sciweavers

2638 search results - page 30 / 528

» A Framework for Automatic Debugging

click to vote

CVPR
2004
IEEE

152views Computer Vision» more CVPR 2004»

A Unified Framework for Uncertainty Propagation in Automatic Shape Tracking

14 years 10 months ago

Download www.caip.rutgers.edu

Uncertainty handling plays an important role during shape tracking. We have recently shown that the fusion of measurement information with system dynamics and shape priors greatly...

Xiang Sean Zhou, Dorin Comaniciu, Binglong Xie, R....

claim paper

Read More »

click to vote

KBSE
2005
IEEE

95views Software Engineering» more KBSE 2005»

Timna: a framework for automatically combining aspect mining analyses

14 years 2 months ago

Download www.cis.udel.edu

To realize the beneﬁts of Aspect Oriented Programming (AOP), developers must refactor active and legacy code bases into an AOP language. When refactoring, developers ﬁrst need...

David Shepherd, Jeffrey Palm, Lori L. Pollock, Mar...

claim paper

Read More »

click to vote

SE
2007

191views Software Engineering» more SE 2007»

An integration framework for heterogeneous automatic software tests

13 years 10 months ago

Download subs.emis.de

: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...

Holger Schackmann, Horst Lichter, Veit Hoffmann

claim paper

Read More »

click to vote

CADE
2006
Springer

163views Logical Reasoning» more CADE 2006»

Automatic Termination Proofs in the Dependency Pair Framework

14 years 8 months ago

Download verify.rwth-aachen.de

Jürgen Giesl, Peter Schneider-Kamp, Ren&eacut...

claim paper

Read More »