8828 search results - page 1501 / 1766 » Formal methods in practice |
202
Voted
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
As the Extensible Markup Language (XML) rapidly establishes itself as the de facto standard for presenting, storing, and exchanging data on the Internet, large volume of XML data ...
169
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
190
Voted
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an eļ¬...
187
Voted
CALC
2001
Springer
15 years 11 months ago
2001
Springer
We show that recent results of Coppersmith, Boneh, Durfee and Howgrave-Graham actually apply in the more general setting of (partially) approximate common divisors. This leads us t...
197
click to vote
FCT
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the results of using sequential analysis to ļ¬nd increment sequences that minimize the average running time of Shellsort, for array sizes up to several thousan...