Sciweavers

19367 search results - page 395 / 3874
» Fine-Grain Process Modelling
Sort
View
ICML
2005
IEEE
16 years 5 months ago
Preference learning with Gaussian processes
In this paper, we propose a probabilistic kernel approach to preference learning based on Gaussian processes. A new likelihood function is proposed to capture the preference relat...
Wei Chu, Zoubin Ghahramani
GW
2007
Springer
199views Biometrics» more  GW 2007»
15 years 11 months ago
Robust Tracking for Processing of Videos of Communication's Gestures
This paper presents a method of image processing used in a mono-vision system in order to study semiotic gestures. We present a robust method to track the hands and face of a perso...
Frédérick Gianni, Christophe Collet,...
IEEESCC
2006
IEEE
15 years 10 months ago
Control the Flow: How to Safely Compose Streaming Services into Business Processes
Although workflow languages are widely used for composing discrete services, these are not suitable for stream based interactions. In this paper we address the problem of how to ...
Biörn Biörnstad, Cesare Pautasso, Gustav...
LICS
2006
IEEE
15 years 10 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
15 years 9 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog