Sciweavers

7580 search results - page 1297 / 1516
» Prometheus design tool
Sort
View
ATAL
2009
Springer
15 years 11 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
FPL
2009
Springer
156views Hardware» more  FPL 2009»
15 years 11 months ago
A highly scalable Restricted Boltzmann Machine FPGA implementation
Restricted Boltzmann Machines (RBMs) — the building block for newly popular Deep Belief Networks (DBNs) — are a promising new tool for machine learning practitioners. However,...
Sang Kyun Kim, Lawrence C. McAfee, Peter L. McMaho...
GEOS
2009
Springer
15 years 11 months ago
Ontology-Based Integration of Sensor Web Services in Disaster Management
With the specifications defined through the Sensor Web Enablement initiative of the Open Geospatial Consortium, flexible integration of sensor data is becoming a reality. Challe...
Grigori Babitski, Simon Bergweiler, Jörg Hoff...
GI
2009
Springer
15 years 11 months ago
SYGo - A Location-Based Game Adapted from the Board Game Scotland Yard
Abstract. In this paper we introduce SYGo, an innovative hide-andseek game which is part of the AMOGA research project of the University of Bonn in cooperation with and funded by D...
Mark Schmatz, Katja Henke, Clemens Türck, Chr...
GIS
2009
ACM
15 years 11 months ago
GeoDec: a multi-layered query processing framework for spatio-temporal data
Harnessing the potential of today’s ever growing and dynamic geospatial data requires the development of novel visual analysis interfaces, tools and technologies. In this paper,...
Luciano Nocera, Arjun Rihan, Songhua Xing, Ali Kho...
« Prev « First page 1297 / 1516 Last » Next »