11112 search results - page 2112 / 2223 » Computing Stuttering Simulations |
175
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
137
Voted
TISSEC
2008
15 years 3 months ago
2008
Hop-by-hop data aggregation is a very important technique for reducing the communication overhead and energy expenditure of sensor nodes during the process of data collection in a...
176
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: The responses to interleukin 1 (IL-1) in human chondrocytes constitute a complex regulatory mechanism, where multiple transcription factors interact combinatorially to...
168
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: To study complex biochemical reaction networks in living cells researchers more and more rely on databases and computational methods. In order to facilitate computatio...
144
click to vote
TOG
2008
15 years 3 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 ...