2029 search results - page 88 / 406 » informs 2002 |
EMISA
2002
Springer
14 years 11 months ago
2002
Springer
DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that al...
DELTA
2002
IEEE
15 years 4 months ago
2002
IEEE
In the upcoming high transmission rate system, based on code division multiple access, standard multi-user detection methods are restricted because of performance and implementati...
ICEIS
2002
IEEE
15 years 4 months ago
2002
IEEE
The PESCA instrument has been designed and built with the purpose of studying the Solar Energetic Particles and the Anomalous Cosmic Rays. It will be part of the Russian PHOTON sat...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
This work presents a novel approach to efficient multirobot mapping and exploration which exploits a market architecture in order to maximize information gain while minimizing inc...
EMISA
2002
Springer
14 years 11 months ago
2002
Springer
Abstract: Gegenstand des vorliegenden Artikels ist die Vorstellung des aktuellen Entwicklungstandes von POSEIDON, einem Werkzeug zur Modellierung, Simulation und Analyse von Petri-...