1097 search results - page 126 / 220 » Partial evaluation of Maple |
129
click to vote
CVPR
2008
IEEE
15 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
15 years 6 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
15 years 4 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...
IWANN
2009
Springer
15 years 4 months ago
2009
Springer
Biomedical literature is an important source of information for chemical compounds. However, different representations and nomenclatures for chemical entities exist, which makes th...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Recent progress in Distributed Constraint Optimization Problems (DCOP) has led to a range of algorithms now available which differ in their amount of problem centralization. Probl...