2765 search results - page 162 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
207
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
156
click to vote
AAAI
2006
15 years 8 months ago
2006
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...
177
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. This article presents a novel method for acquiring high-quality solid models of complex 3D shapes from multiple calibrated photographs. After the purely geometric constra...
179
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Abstract-- This paper presents an edge-directed image interpolation algorithm. In the proposed algorithm, the edge directions are implicitly estimated with a statistical-based appr...
190
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...