4485 search results - page 108 / 897 » Equivalences on Observable Processes |
IMAGING
2001
13 years 11 months ago
2001
Real-time mapping pigmentation in human skin is expected to give useful information for reproducing various skin colors and monitoring human conditions in real time. In this resea...
CLOUDCOM
2010
Springer
13 years 8 months ago
2010
Springer
Currently, numerically simulated synthetic seismograms are widely used by seismologists for seismological inferences. The generation of these synthetic seismograms requires large ...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
SEFM
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
CSB
2005
IEEE
14 years 3 months ago
2005
IEEE
The Ingenuity™ Pathways Knowledge Base (IPKB) contains over one million findings manually curated from the scientific literature. Highly-structured content from the IPKB forms...