396 search results - page 33 / 80 » Combining decision procedures for the reals |
109
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
ECML
2007
Springer
15 years 7 months ago
2007
Springer
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
115
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
The co-occurrence pattern, a combination of binary or local features, is more discriminative than individual features and has shown its advantages in object, scene, and action rec...
ICIP
2008
IEEE
16 years 3 months ago
2008
IEEE
Real-time face alignment in video is very critical in many applications such as facial expression analysis, driver fatigue monitoring, etc. This paper presents a real time algorit...
HICSS
2006
IEEE
15 years 7 months ago
2006
IEEE
Little research has examined the relevance of real options for valuation of information technology (IT) investments for prioritizing a portfolio of projects. When the effect of pr...