2050 search results - page 177 / 410 » A formal foundation for process modeling |
168
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We describe a new theoretical approach to Image Processing and Vision. Expressed in mathemetical terminology, in our formalism image space is a fibre bundle, and the imag...
199
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Many temporal processes can be naturally modeled as a stochastic system that evolves continuously over time. The representation language of continuous-time Bayesian networks allow...
167
click to vote
ICDE
2007
IEEE
16 years 26 days ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
151
click to vote
DSVIS
1995
Springer
15 years 10 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
169
click to vote
QEST
2008
IEEE
16 years 28 days ago
2008
IEEE
CaVi provides a uniform interface to state-of-the-art simulation methods and formal verification methods for wireless sensor network. Simulation is suitable to examine the behavi...