5777 search results - page 402 / 1156 » The palladio component model |
229
click to vote
ENTCS
2006
15 years 7 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
199
click to vote
ENTCS
2006
15 years 7 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
226
click to vote
CGVR
2009
15 years 5 months ago
2009
FXPAL's Pantheia system enables users to create virtual models by `marking up' a physical space with pre-printed visual markers. The meanings associated with the markers...
211
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
In this paper, a framework that combines feature extraction, model learning, and likelihood computation, is presented for video event detection. First, the independent component a...
227
Voted
ICIP
2001
IEEE
16 years 9 months ago
2001
IEEE
In this paper we address the problem of registering 3D scattered data by the mean of a statistical shape model. This model is built from a training set on which a principal compon...