Sciweavers

1310 search results - page 163 / 262
» Parameterized Partial Evaluation
Sort
View
ICIAP
2007
ACM
15 years 10 months ago
Adaptive uncertainty estimation for particle filter-based trackers
In particle filter?based visual trackers, dynamic velocity components are typically incorporated into the state update equations. In these cases, there is a risk that the uncertai...
Andrew D. Bagdanov, Alberto Del Bimbo, Fabrizio Di...
CVPR
2008
IEEE
15 years 10 months ago
Real-Time Face Pose Estimation from Single Range Images
We present a real-time algorithm to estimate the 3D pose of a previously unseen face from a single range im- age. Based on a novel shape signature to identify noses in range ima...
Michael D. Breitenstein, Daniel Küttel, Thiba...
PEPM
2009
ACM
15 years 6 months ago
Program analysis for bug detection using parfait: invited talk
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
Cristina Cifuentes, Nathan Keynes, Lian Li, Bernha...
EUROSEC
2009
ACM
15 years 4 months ago
QuanTM: a quantitative trust management system
Quantitative Trust Management (QTM) provides a dynamic interpretation of authorization policies for access control decisions based on upon evolving reputations of the entities inv...
Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak ...
IWANN
2009
Springer
15 years 4 months ago
Identification of Chemical Entities in Patent Documents
Biomedical literature is an important source of information for chemical compounds. However, different representations and nomenclatures for chemical entities exist, which makes th...
Tiago Grego, Piotr Pezik, Francisco M. Couto, Diet...