Sciweavers

485 search results - page 78 / 97
» An Efficient Approach to the Simultaneous Localisation and M...
Sort
View
159
Voted
JSAT
2006
134views more  JSAT 2006»
15 years 3 months ago
Pueblo: A Hybrid Pseudo-Boolean SAT Solver
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
Hossein M. Sheini, Karem A. Sakallah
142
Voted
CVPR
2006
IEEE
16 years 5 months ago
Image-Based Multiclass Boosting and Echocardiographic View Classification
We tackle the problem of automatically classifying cardiac view for an echocardiographic sequence as a multiclass object detection. As a solution, we present an imagebased multicl...
Shaohua Kevin Zhou, J. H. Park, Bogdan Georgescu, ...
106
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Managing Impacts of Security Protocol Changes in Service-Oriented Applications
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
Halvard Skogsrud, Boualem Benatallah, Fabio Casati...
193
Voted
3DPVT
2004
IEEE
316views Visualization» more  3DPVT 2004»
15 years 7 months ago
A Statistical Method for Robust 3D Surface Reconstruction from Sparse Data
Abstract-General information about a class of objects, such as human faces or teeth, can help to solve the otherwise ill-posed problem of reconstructing a complete surface from spa...
Volker Blanz, Albert Mehl, Thomas Vetter, Hans-Pet...
137
Voted
CCGRID
2004
IEEE
15 years 7 months ago
Adaptive congestion control for hotspot management in structured peer-to-peer systems
Distributed Hash Tables (DHTs) bring the promise of increased availability of data to wide-area systems, under the assumption of uniform request load. However, they don't int...
Anne-Marie Bosneag, Yong Xi, Xinjie Li, Monica Bro...