554 search results - page 97 / 111 » Approximate Probabilistic Model Checking |
WACV
2008
IEEE
14 years 1 months ago
2008
IEEE
Most face recognition algorithms use a “distancebased” approach: gallery and probe images are projected into a low dimensional feature space and decisions about matching are b...
COLT
2004
Springer
14 years 27 days ago
2004
Springer
: We introduce a graph-theoretic generalization of classical Arrow-Debreu economics, in which an undirected graph specifies which consumers or economies are permitted to engage in...
AAAI
2004
13 years 9 months ago
2004
We present a probabilistic method for path planning that considers trajectories constrained by both the environment and an ensemble of restrictions or preferences on preferred mot...
NIPS
2004
13 years 9 months ago
2004
Protein interactions typically arise from a physical interaction of one or more small sites on the surface of the two proteins. Identifying these sites is very important for drug ...
CIDR
2009
13 years 8 months ago
2009
We present the design and development of a data stream system that captures data uncertainty from data collection to query processing to final result generation. Our system focuse...