Sciweavers

3381 search results - page 350 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
CSFW
2007
IEEE
16 years 1 months ago
LTL Model Checking for Security Protocols
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
Alessandro Armando, Roberto Carbone, Luca Compagna
ICML
2010
IEEE
15 years 4 months ago
Temporal Difference Bayesian Model Averaging: A Bayesian Perspective on Adapting Lambda
Temporal difference (TD) algorithms are attractive for reinforcement learning due to their ease-of-implementation and use of "bootstrapped" return estimates to make effi...
Carlton Downey, Scott Sanner
MICCAI
2007
Springer
16 years 26 days ago
Robust Autonomous Model Learning from 2D and 3D Data Sets
In this paper we propose a weakly supervised learning algorithm for appearance models based on the minimum description length (MDL) principle. From a set of training images or volu...
Georg Langs, Rene Donner, Philipp Peloschek, Horst...
ICARCV
2006
IEEE
132views Robotics» more  ICARCV 2006»
16 years 23 days ago
Dynamic Environment Modeling with Gridmap: A Multiple-Object Tracking Application
— The Bayesian occupancy filter (BOF) [1] has achieved promising results in the object tracking applications. This paper presents a new development of BOF which inherits origina...
Cheng Chen, Christopher Tay, Christian Laugier, Ka...
FGR
2000
IEEE
150views Biometrics» more  FGR 2000»
15 years 11 months ago
From Few to Many: Generative Models for Recognition Under Variable Pose and Illumination
Image variability due to changes in pose and illumination can seriously impair object recognition. This paper presents appearance-based methods which, unlike previous appearance-b...
Athinodoros S. Georghiades, Peter N. Belhumeur, Da...