3082 search results - page 438 / 617 » Deviation Analysis: A New Use of Model Checking |
191
click to vote
PAMI
2006
15 years 6 months ago
2006
The performance of face recognition systems that use two-dimensional images depends on factors such as lighting and subject's pose. We are developing a face recognition system...
143
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Abstract--Analytical models to evaluate and predict "precision" performance of indoor positioning systems based on location fingerprinting are lacking. Such models can be...
210
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
186
click to vote
GEOINFO
2003
15 years 7 months ago
2003
One of the main challenges for the development of spatial information theory is the formalization of the concepts of space and spatial relations. Currently, most spatial data struc...
155
click to vote
IBPRIA
2005
Springer
15 years 12 months ago
2005
Springer
The acquisition of three-dimensional models of a given surface is a very interesting subject in computer vision. Most of techniques are based on the use of laser range finders cou...