1320 search results - page 102 / 264 » A View Based Analysis of Workflow Modeling Languages |
144
Voted
QEST
2006
IEEE
15 years 9 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
144
Voted
ICIP
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper investigates the semantic analysis of broadcast tennis footage. We consider the spatio-temporal behaviour of an object in the footage as being the embodiment of a seman...
144
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
A neural network with fixed topology can be regarded as a parametrization of functions, which decides on the correlations between functional variations when parameters are adapted...
152
Voted
SMI
2010
IEEE
15 years 1 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
102
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
To implement a persistent tracker, we build a set of viewdependent object appearance models adaptively and automatically while tracking an object under different viewing angles. T...