Sciweavers

933 search results - page 147 / 187
» Fully automatic cross-associations
Sort
View
CII
2008
103views more  CII 2008»
14 years 12 months ago
Moving from syntactic to semantic organizations using JXML2OWL
Today's enterprises face critical needs in integrating disparate information spread over several data sources inside and even outside the organization. Most organizations alre...
Toni Rodrigues, Pedro Rosa, Jorge Cardoso
CORR
2010
Springer
180views Education» more  CORR 2010»
14 years 12 months ago
Sawja: Static Analysis Workshop for Java
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
Laurent Hubert, Nicolas Barré, Fréd&...
CORR
2010
Springer
210views Education» more  CORR 2010»
14 years 12 months ago
Test Case Generation for Object-Oriented Imperative Languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
Miguel Gómez-Zamalloa, Elvira Albert, Germ&...
CORR
2008
Springer
129views Education» more  CORR 2008»
14 years 12 months ago
Hierarchical Bayesian sparse image reconstruction with application to MRFM
This paper presents a hierarchical Bayesian model to reconstruct sparse images when the observations are obtained from linear transformations and corrupted by an additive white Gau...
Nicolas Dobigeon, Alfred O. Hero, Jean-Yves Tourne...
CVIU
2006
219views more  CVIU 2006»
14 years 12 months ago
Boundary matting for view synthesis
In the last few years, new view synthesis has emerged as an important application of 3D stereo reconstruction. While the quality of stereo has improved, it is still imperfect, and...
Samuel W. Hasinoff, Sing Bing Kang, Richard Szelis...