Sciweavers

1306 search results - page 183 / 262
» A Diagrammatic Approach to Model Completion
Sort
View
SIGIR
2008
ACM
15 years 6 months ago
Learning from labeled features using generalized expectation criteria
It is difficult to apply machine learning to new domains because often we lack labeled problem instances. In this paper, we provide a solution to this problem that leverages domai...
Gregory Druck, Gideon S. Mann, Andrew McCallum
TSE
2011
114views more  TSE 2011»
15 years 1 months ago
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
FMCAD
2006
Springer
15 years 10 months ago
Design for Verification of the PCI-X Bus
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
Haja Moinudeen, Ali Habibi, Sofiène Tahar
CVPR
2008
IEEE
16 years 8 months ago
Robust fusion of dynamic shape and normal capture for high-quality reconstruction of time-varying geometry
This paper describes a new passive approach to capture time-varying scene geometry in large acquisition volumes from multi-view video. It can be applied to reconstruct complete mo...
Naveed Ahmed, Christian Theobalt, Petar Dobrev, Ha...
CVPR
2008
IEEE
16 years 8 months ago
Learning patch correspondences for improved viewpoint invariant face recognition
Variation due to viewpoint is one of the key challenges that stand in the way of a complete solution to the face recognition problem. It is easy to note that local regions of the ...
Ahmed Bilal Ashraf, Simon Lucey, Tsuhan Chen