1090 search results - page 134 / 218 » Type-Directed Partial Evaluation |
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
ICIAP
2007
ACM
14 years 10 months ago
2007
ACM
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...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
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...
PEPM
2009
ACM
14 years 7 months ago
2009
ACM
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...
EUROSEC
2009
ACM
14 years 5 months ago
2009
ACM
Quantitative Trust Management (QTM) provides a dynamic interpretation of authorization policies for access control decisions based on upon evolving reputations of the entities inv...