2050 search results - page 209 / 410 » constraints 2010 |
ATVA
2010
Springer
13 years 11 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 ...
CEC
2010
IEEE
13 years 11 months ago
2010
IEEE
This paper proposes a method for reconstructing non-rigid 3D shapes from noisy 2D shapes. The proposed method estimates the 3D shape bases and projection matrices, exploiting low-r...
CONCUR
2010
Springer
13 years 11 months ago
2010
Springer
We consider a calculus for multiparty sessions with delegation, enriched with security levels for session participants and data. We propose a type system that guarantees both sessi...
DAGM
2010
Springer
13 years 11 months ago
2010
Springer
A multi-class traffic scene segmentation approach based on scene flow data is presented. Opposed to many other approaches using color or texture features, our approach is purely ba...
ECAI
2010
Springer
13 years 11 months ago
2010
Springer
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...