2055 search results - page 207 / 411 » Generic Model Refactorings |
165
click to vote
CP
2006
Springer
15 years 7 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, ...
121
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The methods used to establish PSPACE-bounds for modal logics can roughly be grouped into two classes: syntax driven methods establish that exhaustive proof search can be performed...
117
Voted
TSMC
2002
15 years 2 months ago
2002
In this paper, we address the modeling and analysis issues associated with a generic theater level campaign where two adversaries pit their military resources against each other ov...
134
click to vote
MMS
2007
15 years 2 months ago
2007
In this paper, we develop a theoretical understanding of multi-sensory knowledge and user context and their interrelationships. This is used to develop a generic representation fr...
122
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
In this paper, we present a new variational method for multi-view stereovision and non-rigid three-dimensional motion estimation from multiple video sequences. Our method minimize...