4485 search results - page 190 / 897 » Equivalences on Observable Processes |
119
Voted
ICIAP
2007
ACM
16 years 3 months ago
2007
ACM
The well-known marching cubes algorithm is modified to apply to the face-centered cubic (fcc) grid. Thus, the local configurations that are considered when extracting the local su...
134
Voted
ICIP
2009
IEEE
16 years 2 months ago
2009
IEEE
We propose a binary Markov Random Field (MRF) model
that assigns high probability to regions in the image domain
consisting of an unknown number of circles of a given radius.
We...
108
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a polynomial-time decision procedure for hereditary history preserving bisimilarity (hhp-b) on Basic Parallel Processes (BPP). Furthermore, we give a sound and...
222
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
This paper addresses the problem of extracting information from textual documents, either normal documents or web pages. A new approach for extracting complicate information from ...
123
click to vote
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...