Sciweavers

1374 search results - page 160 / 275
» An information theoretic approach to processing management
Sort
View
ICCV
2007
IEEE
15 years 4 months ago
Simultaneous Segmentation and 3D Reconstruction of Monocular Image Sequences
When trying to extract 3D scene information and camera motion from an image sequence alone, it is often necessary to cope with independently moving objects. Recent research has un...
Kemal Egemen Ozden, Konrad Schindler, Luc J. Van G...
MKM
2009
Springer
15 years 4 months ago
Combining Coq and Gappa for Certifying Floating-Point Programs
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
Sylvie Boldo, Jean-Christophe Filliâtre, Gui...
CAISE
2006
Springer
15 years 1 months ago
Evaluating Similarity and Difference in Service Matchmaking
Recently, enterprise interoperability has been improved by the Web Service technology, making available an ever-growing number of services. Service discovery is considered a crucia...
Devis Bianchini, Valeria De Antonellis, Michele Me...
EKAW
2006
Springer
15 years 1 months ago
Iterative Bayesian Network Implementation by Using Annotated Association Rules
Abstract. This paper concerns the iterative implementation of a knowledge model in a data mining context. Our approach relies on coupling a Bayesian network design with an associat...
Clément Fauré, Sylvie Delprat, Jean-...
CCS
2007
ACM
15 years 4 months ago
Improving vulnerability discovery models
Security researchers are applying software reliability models to vulnerability data, in an attempt to model the vulnerability discovery process. I show that most current work on t...
Andy Ozment