Sciweavers

2556 search results - page 200 / 512
» The Triconnected Abstraction of Process Models
Sort
View
DAGM
2007
Springer
15 years 11 months ago
Simultaneous Estimation of Surface Motion, Depth and Slopes Under Changing Illumination
Abstract In this paper we extend a multi-camera model for simultaneous estimation of 3d position, normals, and 3d motion of surface patches [17] to be able to handle brightness cha...
Tobias Schuchert, Hanno Scharr
APN
2006
Springer
15 years 11 months ago
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
Serge Haddad, Lynda Mokdad, Patrice Moreaux
CRIWG
2007
15 years 8 months ago
Alternative Dispute Resolution Based on the Storytelling Technique
Abstract. This paper describes a groupware prototype addressing the alternative resolution of legal conflicts. The groupware prototype integrates the storytelling and argumentation...
Pedro Antunes, Sara Relvas, Marcos R. S. Borges
MASCOTS
2003
15 years 8 months ago
PEPA Nets
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
Stephen Gilmore, Jane Hillston, Leïla Kloul
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 5 months ago
A proposal for real-time interfaces in SPEEDS
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
Purandar Bhaduri, Ingo Stierand