2664 search results - page 79 / 533 » Theory of processes |
94
Voted
LICS
1990
IEEE
15 years 4 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
90
Voted
SIBGRAPI
1999
IEEE
15 years 5 months ago
1999
IEEE
Abstract. In this work we study the problem of reconstructing an image from a perceptual segmentation based on a geometric classification of its points using non-linear curvature f...
100
Voted
QEST
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
108
Voted
IV
2003
IEEE
15 years 6 months ago
2003
IEEE
Visual metaphors describe cognitive processes in every part of life and function as a connection between what we see and what we think. Mental activities and perceptional interact...
114
Voted
ARTMED
2000
15 years 15 days ago
2000
Diagnosis of a disease and its treatment are not separate, one-shot activities. Instead, they are very often dependent and interleaved over time. This is mostly due to uncertainty...