2470 search results - page 110 / 494 » Liveness-Preserving Simulation Relations |
147
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: The behaviors of cells in metazoans are context dependent, thus large-scale multicellular modeling is often necessary, for which cellular automata are natural candidat...
257
click to vote
CGF
2011
14 years 11 months ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
107
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
A binaural algorithm to simultaneously detect the azimuth angle and the pitch of the sound source is proposed in this paper. This algorithm is extended from the stereausis model w...
140
Voted
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
122
click to vote
IFM
2000
Springer
15 years 7 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...