1320 search results - page 102 / 264 » A View Based Analysis of Workflow Modeling Languages |
185
click to vote
QEST
2006
IEEE
16 years 6 days 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...
170
click to vote
ICIP
2005
IEEE
15 years 11 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...
186
click to vote
CORR
2002
Springer
15 years 6 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...
189
click to vote
SMI
2010
IEEE
15 years 4 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...
128
click to vote
CVPR
2007
IEEE
16 years 8 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...