5863 search results - page 732 / 1173 » On Model-Checking of P Systems |
188
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Cellular Neural Networks are widely used with real-time image processing's applications. Such systems can be efficiently realized using macro enriched fieldprogrammable gate-...
198
click to vote
COOPIS
2000
IEEE
15 years 10 months ago
2000
IEEE
The focus of traditional workflow management systems is on control flow within one process definition, that describes how a single case (i.e., workflow instance) is handled in isol...
196
click to vote
PARA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...
186
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
A system for controlling the behaviors of an interactive human-like agent, and executing them in real-time, is presented. It relies on an underlying model of continuous behavior, ...
173
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
We describe an approach for determining potentially visible sets in dynamic architectural models. Our scheme divides the models into cells and portals, computing a conservative es...