5448 search results - page 1054 / 1090 » Breakpoints and Time in Distributed Computations |
180
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...
163
click to vote
BMCBI
2005
15 years 3 months ago
2005
Background: Protein kinases are a well defined family of proteins, characterized by the presence of a common kinase catalytic domain and playing a significant role in many importa...
153
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 ...
158
click to vote
AI
2002
Springer
15 years 3 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
128
click to vote
CPHYSICS
2004
15 years 3 months ago
2004
We introduce here a new method for the numerical resolution of the Vlasov equation on a phase space grid using an adaptive semi-Lagrangian method. The adaptivity is obtained throu...