10910 search results - page 302 / 2182 » Input modeling using a computer algebra system |
223
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper, we apply a multiple regression method based on Canonical Correlation Analysis (CCA) to face data modelling. CCA is a factor analysis method which exploits the corre...
177
click to vote
DAGM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we propose a variational framework for computing a superresolved image of a scene from an arbitrary input video. To this end, we employ a recently proposed...
176
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
189
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
In recent years several methods for modeling botanical trees have been proposed. The geometry and topology of tree skeletons can be well described by L-systems; however, there are...
167
click to vote
ADAEUROPE
2008
Springer
15 years 8 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...