Sciweavers

1457 search results - page 291 / 292
» Surrogate data: A novel approach to object detection
Sort
View
77
Voted
ENTCS
2008
140views more  ENTCS 2008»
14 years 9 months ago
Higher-Order Separation Logic in Isabelle/HOLCF
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
Carsten Varming, Lars Birkedal
IS
2006
14 years 9 months ago
Adaptive cycle management in soft real-time disk retrieval
The objective of this study is to determine the right cycle management policy to service periodic soft real-time disk retrieval. Cycle based disk scheduling provides an effective ...
Youjip Won, Ilhoon Shin, Kern Koh
CVPR
2003
IEEE
15 years 11 months ago
Face Recognition Under Variable Lighting using Harmonic Image Exemplars
We propose a new approach for face recognition under arbitrary illumination conditions, which requires only one training image per subject (if there is no pose variation) and no 3...
Lei Zhang 0002, Dimitris Samaras
111
Voted
ECCV
2006
Springer
15 years 11 months ago
Real-Time Non-rigid Shape Recovery Via Active Appearance Models for Augmented Reality
One main challenge in Augmented Reality (AR) applications is to keep track of video objects with their movement, orientation, size, and position accurately. This poses a challengin...
Jianke Zhu, Steven C. H. Hoi, Michael R. Lyu
HPDC
2003
IEEE
15 years 2 months ago
PlanetP: Using Gossiping to Build Content Addressable Peer-to-Peer Information Sharing Communities
Abstract. We present PlanetP, a peer-to-peer (P2P) content search and retrieval infrastructure targeting communities wishing to share large sets of text documents. P2P computing is...
Francisco Matias Cuenca-Acuna, Christopher Peery, ...