Sciweavers

2871 search results - page 129 / 575
» An Auxiliary Variational Method
Sort
View
ICLP
2005
Springer
15 years 12 months ago
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
Hans Tompits, Stefan Woltran
MIPS
2004
Springer
152views Multimedia» more  MIPS 2004»
15 years 11 months ago
Scalable Stereo Video Coding for Heterogeneous Environments
Abstract. In this paper, we propose a new stereo video coding scheme for heterogeneous consumer devices by exploiting the concept of spatio-temporal scalability. We use MPEG standa...
Sehchan Oh, Youngho Lee, Woontack Woo
ASIACRYPT
2003
Springer
15 years 11 months ago
Accumulating Composites and Improved Group Signing
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
Gene Tsudik, Shouhuai Xu
FGR
2004
IEEE
105views Biometrics» more  FGR 2004»
15 years 10 months ago
Particle Filtering with Factorized Likelihoods for Tracking Facial Features
In the recent years particle filtering has been the dominant paradigm for tracking facial and body features, recognizing temporal events and reasoning in uncertainty. A major prob...
Ioannis Patras, Maja Pantic
NIPS
2007
15 years 7 months ago
Discriminative Batch Mode Active Learning
Active learning sequentially selects unlabeled instances to label with the goal of reducing the effort needed to learn a good classifier. Most previous studies in active learning...
Yuhong Guo, Dale Schuurmans