Sciweavers

11376 search results - page 109 / 2276
» Willow System Demonstration
Sort
View
LANMR
2004
15 years 7 months ago
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
Isabella Cattinelli, Maria Luisa Damiani, Andrea N...
SLP
1997
78views more  SLP 1997»
15 years 7 months ago
Using SimICS to Evaluate the Penny System
We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...
Johan Montelius, Peter S. Magnusson
IJWIS
2008
110views more  IJWIS 2008»
15 years 6 months ago
Determined: a system with novel techniques for XML query optimization and evaluation
: Purpose -- Efficient processing of XML queries is critical for XML data management and related applications. Previously proposed techniques are unsatisfactory. This article prese...
Dunren Che, Wen-Chi Hou
AAMAS
2002
Springer
15 years 6 months ago
The Evolution of Communication Systems by Adaptive Agents
The paper surveys some of the mechanisms that have been demonstrated to be relevant for evolving communication systems in software simulations or robotic experiments. In each case,...
Luc Steels
SIGMOD
2001
ACM
130views Database» more  SIGMOD 2001»
16 years 6 months ago
RETINA: A REal-time TraffIc NAvigation System
In this demonstration paper, the prototype called REal-time TraffIc NAvigation System (RETINA) is introduced. The goal is to investigate the effectiveness of various soft real-tim...
Kam-yiu Lam, Edward Chan, Tei-Wei Kuo, S. W. Ng, D...