2409 search results - page 161 / 482 » On Extended Regular Expressions |
119
click to vote
SPLC
2008
15 years 6 months ago
2008
In this paper we propose a behavioural model, namely the Generalized Extended Modal Transition Systems, as a basis for the formalization of different notions of variability usuall...
120
click to vote
CLIMA
2004
15 years 6 months ago
2004
Abstract. Negotiation over resources and multi-agent planning are important issues in multi-agent systems research. It has been demonstrated [19] how symbolic negotiation and distr...
127
click to vote
JCT
2011
14 years 11 months ago
2011
The Pieri rule expresses the product of a Schur function and a single row Schur function in terms of Schur functions. We extend the classical Pieri rule by expressing the product ...
185
click to vote
CVPR
2009
IEEE
16 years 12 months ago
2009
IEEE
This paper proposes a novel approach to motion capture
from multiple, synchronized video streams, specifically
aimed at recording dense and accurate models of the structure
and ...
133
click to vote
PE
2002
Springer
15 years 4 months ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...