396 search results - page 27 / 80 » Combining decision procedures for the reals |
114
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
Scoring rules for eliciting expert predictions of random variables are usually developed assuming that experts derive utility only from the quality of their predictions (e.g., sco...
120
click to vote
AMFG
2005
IEEE
15 years 7 months ago
2005
IEEE
2D intensity images and 3D shape models are both useful for face recognition, but in different ways. While algorithms have long been developed using 2D or 3D data, recently has see...
131
click to vote
DAGM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. Guided Kanade-Lucas-Tomasi (GKLT) tracking is a suitable way to incorporate knowledge about camera parameters into the standard KLT tracking approach for feature tracking...
103
click to vote
ISSAC
2001
Springer
15 years 6 months ago
2001
Springer
Maple’s evaluator, together with a feature that is usually known as the assume facility, is a combination of modules with specialised reasoning capabilities. These modules are i...
106
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...