Sciweavers

2432 search results - page 311 / 487
» Using simple abstraction to reinvent computing for paralleli...
Sort
View
ESAW
2004
Springer
15 years 10 months ago
Controlled Experimentation with Agents - Models and Implementations
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
Mathias Röhl, Adelinde Uhrmacher
EKAW
1999
Springer
15 years 8 months ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen
FPL
1997
Springer
68views Hardware» more  FPL 1997»
15 years 8 months ago
Pipeline morphing and virtual pipelines
Abstract. Pipeline morphing is a simple but e ective technique for recon guring pipelined FPGA designs at run time. By overlapping computation and recon guration, the latency assoc...
Wayne Luk, Nabeel Shirazi, Shaori Guo, Peter Y. K....
ICANN
2010
Springer
15 years 5 months ago
A Learned Saliency Predictor for Dynamic Natural Scenes
Abstract. We investigate the extent to which eye movements in natural dynamic scenes can be predicted with a simple model of bottom-up saliency, which learns on different visual re...
Eleonora Vig, Michael Dorr, Thomas Martinetz, Erha...
KES
2006
Springer
15 years 4 months ago
Symbiotic Sensor Networks in Complex Underwater Terrains: A Simulation Framework
Abstract. This paper presents a new multi-agent physics-based simulation framework (DISCOVERY), supporting experiments with self-organizing underwater sensor and actuator networks....
Vadim Gerasimov, Gerry Healy, Mikhail Prokopenko, ...