9730 search results - page 336 / 1946 » Relating models of backtracking |
168
click to vote
TSMC
2010
14 years 11 months ago
2010
In this paper we propose a credal representation of the interval probability associated with a belief function (b.f.), and show how it relates to several classical Bayesian transfo...
147
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
The MPEG-4 Face and Body Animation (FBA) specifications aims at standardizing an interchange format for specifying virtual face and body modeling and related animation parameters....
138
Voted
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
146
click to vote
HYBRID
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we define a bisimulation concept for some very general models for stochastic hybrid systems (general stochastic hybrid systems). The definition of bisimulation buil...
128
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
This paper serves as the introductory note to the Fifth Workshop on Business Process Modeling, Development, and Support (BPMDS’04). The workshop focuses on the exploration of iss...