Sciweavers

4965 search results - page 178 / 993
» A Simple Abstraction for Data Modeling
Sort
View
WLP
2004
Springer
15 years 11 months ago
Deductive and Inductive Reasoning on Spatio-Temporal Data
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
Mirco Nanni, Alessandra Raffaetà, Chiara Re...
ADVIS
2004
Springer
15 years 12 months ago
On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
Costin Badica, Chris Fox
SMC
2007
IEEE
150views Control Systems» more  SMC 2007»
16 years 23 days ago
Modeling and analysis of multi-agent systems using petri nets
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
Jose R. Celaya, Alan A. Desrochers, Robert J. Grav...
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
16 years 19 days ago
EcoPS: a particle swarm algorithm to model group-foraging
Recent work has introduced a simulation model of ecological processes in terms of a very simple Particle Swarm algorithm. This abstract model produced qualitatively realistic beha...
Cecilia Di Chio, Riccardo Poli, Paolo Di Chio
MONET
2007
98views more  MONET 2007»
15 years 6 months ago
A Markov Model for Indoor Ultra-wideband Channel with People Shadowing
Abstract For an indoor ultra-wideband (UWB) communication system, the line-of-sight (LOS) between the transmitter and receiver may be frequently blocked by moving people. Blocking ...
Ruonan Zhang, Lin Cai