3134 search results - page 216 / 627 » simulation 2010 |
118
Voted
IANDC
2010
15 years 2 months ago
2010
Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong sim...
116
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—We study broadcasting on multiple access channels by deterministic distributed protocols. Data arrivals are governed by an adversary. The power of the adversary is constrained b...
136
click to vote
ITIIS
2010
15 years 2 months ago
2010
There is a well-defined propagation model, named the random constant spread (RCS) model, which explains worms that spread their clones with a random scanning strategy. This model ...
118
Voted
JAIR
2010
15 years 2 months ago
2010
We present a novel framework for learning to interpret and generate language using only perceptual context as supervision. We demonstrate its capabilities by developing a system t...
124
click to vote
JCNS
2010
15 years 2 months ago
2010
Accurately simulating neurons with realistic morphological structure and synaptic inputs requires the solution of large systems of nonlinear ordinary differential equations. We ap...