269 search results - page 13 / 54 » Computational soundness of observational equivalence |
ECAL
2003
Springer
14 years 1 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 ...
TVCG
2012
11 years 11 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...
FORTE
2003
13 years 9 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 ...
CONCUR
1995
Springer
14 years 4 hour 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...
TLCA
1995
Springer
13 years 12 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 ...