Sciweavers

892 search results - page 56 / 179
» Action respecting embedding
Sort
View
WSC
2004
13 years 11 months ago
Agent - Based Model of Auftragstaktik: Self Organization in Command and Control of Future Combat Forces
Agent-based modeling is a framework that allows the analysis of distributed command-by-influence using mission-type orders known for over a century as Auftragstaktik in German Arm...
Robert H. Kewley
ICCV
2009
IEEE
15 years 2 months ago
Time Series Prediction by Chaotic Modeling of Nonlinear Dynamical Systems
We use concepts from chaos theory in order to model nonlinear dynamical systems that exhibit deterministic behavior. Observed time series from such a system can be embedded into...
Arslan Basharat, Mubarak Shah
TPHOL
2008
IEEE
14 years 4 months ago
Formal Reasoning About Causality Analysis
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
Jens Brandt, Klaus Schneider
SFM
2004
Springer
120views Formal Methods» more  SFM 2004»
14 years 3 months ago
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
Jos C. M. Baeten, Michel A. Reniers
IFIP12
2009
13 years 7 months ago
TELIOS: A Tool for the Automatic Generation of Logic Programming Machines
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
Alexandros C. Dimopoulos, Christos Pavlatos, Georg...