Sciweavers

4902 search results - page 335 / 981
» Multi-agent Systems Methodology
Sort
View
ATAL
2007
Springer
16 years 29 days ago
Modular interpreted systems
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
Wojciech Jamroga, Thomas Ågotnes
ISMAR
2006
IEEE
16 years 24 days ago
Spatial relationship patterns: elements of reusable tracking and calibration systems
With tracking setups becoming increasingly complex, it gets more difficult to find suitable algorithms for tracking, calibration and sensor fusion. A large number of solutions e...
Daniel Pustka, Martin Huber, Manuel Bauer, Gudrun ...
FPT
2005
IEEE
198views Hardware» more  FPT 2005»
16 years 11 days ago
From TLM to FPGA: Rapid Prototyping with SystemC and Transaction Level Modeling
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
Wolfgang Klingauf, Robert Günzel
WOWMOM
2005
ACM
81views Multimedia» more  WOWMOM 2005»
16 years 10 days ago
Robust Distributed Systems Achieving Self-Management through Inference
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
Willem de Bruijn, Herbert Bos, Henri E. Bal
156
Voted
MHCI
2005
Springer
16 years 8 days ago
A support system for finding lost objects using spotlight
We propose a support system for finding lost objects indoors. The system employs active RFID and ultrasonic position detection to detect the position of a lost object. The system...
Toyohisa Nakada, Hideaki Kanai, Susumu Kunifuji