2173 search results - page 207 / 435 » Modelling of Complex Supply Networks |
138
Voted
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
133
click to vote
ICNP
2003
IEEE
15 years 9 months ago
2003
IEEE
Peer-to-peer systems have quickly become a popular way for file sharing and distribution. In this paper, we focus on the subsystem consisting of peers and their actions relative ...
131
click to vote
CVPR
2000
IEEE
16 years 6 months ago
2000
IEEE
The human figure exhibits complex and rich dynamic behavior that is both nonlinear and time-varying. However, most work on tracking and analysis of figure motion has employed eith...
140
click to vote
SPRINGSIM
2007
15 years 5 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
139
Voted
IJON
2002
15 years 3 months ago
2002
Nonlinear model predictive control (MPC) of a simulated chaotic cutting process is presented. The nonlinear MPC combines a neural-network model and a genetic-algorithm-based optim...