269 search results - page 13 / 54 » Computational soundness of observational equivalence |
111
Voted
ECAL
2003
Springer
15 years 7 months ago
2003
Springer
This paper describes an investigation of two computer models of how vowel systems can be transferred from one generation to the next. Humans tend to reduce the articulation of the ...
134
Voted
TVCG
2012
13 years 4 months ago
2012
—We present an efficient algorithm for simulating diffuse reflections of sound in a static scene. Our approach is built on recent advances in precomputed light transport techni...
125
click to vote
FORTE
2003
15 years 3 months ago
2003
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly ...
111
click to vote
CONCUR
1995
Springer
15 years 5 months ago
1995
Springer
We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence we study are justi ed in terms of a cha...
152
click to vote
TLCA
1995
Springer
15 years 5 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...