2379 search results - page 281 / 476 » Modeling, scheduling, and simulation of switched processing ... |
147
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
120
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
118
click to vote
WSC
2008
15 years 6 months ago
2008
The Post-Anesthesia Care Unit (PACU) is a shared resource in the hospital where patients recover from surgery. It is fed by a set of Operating Rooms (OR's) often spanning sev...
152
click to vote
ICIC
2007
Springer
15 years 10 months ago
2007
Springer
Inspired by the behaviour of biological receptive fields and the human visual system, a network model based on spiking neurons is proposed to detect edges in a visual image. The st...
155
click to vote
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...