Sciweavers

1065 search results - page 59 / 213
» Droidel: a general approach to Android framework modeling
Sort
View
ATAL
2009
Springer
15 years 4 months ago
A distributed constraint optimization approach for coordination under uncertainty
Distributed Constraint Optimization (DCOP) provides a rich framework for modeling multi-agent coordination problems. Existing problem domains for DCOP focus on small (<100 vari...
James Atlas
CVPR
2008
IEEE
15 years 11 months ago
A factorization approach to structure from motion with shape priors
This paper presents an approach for including 3D prior models into a factorization framework for structure from motion. The proposed method computes a closed-form affine fit which...
Alessio Del Bue
ECCV
2002
Springer
15 years 11 months ago
Probabilistic and Voting Approaches to Cue Integration for Figure-Ground Segmentation
This paper describes techniques for fusing the output of multiple cues to robustly and accurately segment foreground objects from the background in image sequences. Two different m...
Eric Hayman, Jan-Olof Eklundh
ICMCS
2005
IEEE
182views Multimedia» more  ICMCS 2005»
15 years 3 months ago
An integrated approach for generic object detection using kernel PCA and boosting
In this paper we present a novel framework for generic object class detection by integrating Kernel PCA with AdaBoost. The classifier obtained in this way is invariant to changes...
Saad Ali, Mubarak Shah
87
Voted
LICS
2002
IEEE
15 years 2 months ago
A Syntactic Approach to Foundational Proof-Carrying Code
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, S...