1133 search results - page 193 / 227 » Local Logics for Traces |
173
click to vote
JUCS
2006
15 years 6 months ago
2006
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
177
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Microarray devices permit a genome-scale evaluation of gene function. This technology has catalyzed biomedical research and development in recent years. As many import...
189
click to vote
TOG
2008
15 years 6 months ago
2008
We present a real-time algorithm called compensated ray marching for rendering of smoke under dynamic low-frequency environment lighting. Our approach is based on a decomposition ...
172
click to vote
CCR
2004
15 years 6 months ago
2004
Today, most multi-connected autonomous systems (AS) need to control the flow of their interdomain traffic for both performance and economical reasons. This is usually done by manu...
149
click to vote
TIFS
2010
15 years 4 months ago
2010
—As the use of digital images has increased, so has the means and the incentive to create digital image forgeries. Accordingly, there is a great need for digital image forensic t...