Sciweavers

2664 search results - page 75 / 533
» Theory by Process
Sort
View
PR
2007
85views more  PR 2007»
13 years 7 months ago
Grey-level hit-or-miss transforms - part II: Application to angiographic image processing
The hit-or-miss transform (HMT) is a fundamental operation on binary images, widely used since 40 years. As it is not increasing, its extension to grey-level images is not straigh...
Benoît Naegel, Nicolas Passat, Christian Ron...
JAMDS
2000
61views more  JAMDS 2000»
13 years 7 months ago
A coupling technique for stochastic comparison of functions of Markov Processes
The aim of this work is to obtain explicit conditions (i.e., conditions on the transition rates) for the stochastic comparison of Markov Processes. A general coupling technique is ...
M. Doisy
CAISE
2004
Springer
14 years 1 months ago
Basic Notions Regarding Business Processes and Supporting Information Systems
Six basic notions concerning business processes and their supporting information systems are presented and discussed, on the basis of one common theory. This yields that these noti...
Jan L. G. Dietz
CPP
2011
99views more  CPP 2011»
12 years 8 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...
CHI
2004
ACM
14 years 8 months ago
Designing interfaces that influence group processes
The goal of this research is to build and evaluate collaborative tools that persuade behavior change over a group of individuals. Preliminary work in this area is presented and fu...
Joan Morris DiMicco