4485 search results - page 215 / 897 » Equivalences on Observable Processes |
123
Voted
CRV
2006
IEEE
15 years 5 months ago
2006
IEEE
Image panoramas are of importance for virtual navigation in remote or synthetic environments. To process these panoramas, different representations have been proposed; this paper ...
107
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...
115
click to vote
WOTUG
2008
15 years 5 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
100
Voted
NIPS
2000
15 years 4 months ago
2000
The Bayesian paradigm apparently only sometimes gives rise to Occam's Razor; at other times very large models perform well. We give simple examples of both kinds of behaviour...
116
Voted
ACL
1990
15 years 4 months ago
1990
In this paper, we report on our use of zero morphemes in Unification-Based Combinatory Categorial Grammar. After illustrating the benefits of this approach with several examples, ...