787 search results - page 106 / 158 » Fully procedural graphics |
AVSS
2005
IEEE
14 years 4 months ago
2005
IEEE
Until recently, traditional approaches to the task of camera calibration have relied on the use of accurate grid patterns, or strategically placed targets. Such approaches can pro...
HVC
2005
Springer
14 years 4 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
IDEAL
2004
Springer
14 years 4 months ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
ISER
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
CIARP
2003
Springer
14 years 4 months ago
2003
Springer
The precise knowledge of the statistical properties of synthetic aperture radar (SAR) data plays a central role in image processing and understanding. These properties can be used ...