Sciweavers

462 search results - page 54 / 93
» Modeling and simulation of group behavior in e-government im...
Sort
View
QEST
2010
IEEE
13 years 6 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
ROBOCUP
2001
Springer
116views Robotics» more  ROBOCUP 2001»
14 years 28 days ago
Biter: A Platform for the Teaching and Research of Multiagent Systems' Design Using RoboCup
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
Paul A. Buhler, José M. Vidal
ICIP
2009
IEEE
13 years 6 months ago
Modeling of image shutters and motion blur in analog and digital camera systems
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...
Michael Schöberl, Siegfried Fößel,...
WSC
2008
13 years 10 months ago
Coping with typical unpredictable incidents in a logic fab
Within the last months the semiconductor plant of Infineon in Dresden has converted to a pure manufacturer of logic products. With it, premises for production control have changed...
Wolfgang Scholl
TASLP
2010
99views more  TASLP 2010»
13 years 6 months ago
A Virtual Model of Spring Reverberation
—The digital emulation of analog audio effects and synthesis components, through the simulation of lumped circuit components has seen a large amount of activity in recent years; ...
Stefan Bilbao, Julian Parker