Sciweavers

4303 search results - page 20 / 861
» Are We There Yet
Sort
View
IFIP
2004
Springer
14 years 23 days ago
An Interactive Trust Management and Negotiation Scheme
Interactive access control allows a server to compute and communicate on the fly the missing credentials to a client and to adapt its responses on the basis of presented and decli...
Hristo Koshutanski, Fabio Massacci
SIGMOD
2003
ACM
106views Database» more  SIGMOD 2003»
14 years 7 months ago
XPath Processing in a Nutshell
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
Georg Gottlob, Christoph Koch, Reinhard Pichler
VL
2000
IEEE
136views Visual Languages» more  VL 2000»
13 years 11 months ago
A Data-Flow Visual Approach to Symbolic Computing: Implementing a Production-Rule-Based Programming System through a General-Pur
The main aim of this paper is to investigate how the production-rule-based computational paradigm can be implemented through visual data-flow techniques. We propose a simple yet e...
Mauro Mosconi, Marco Porta
LANMR
2004
13 years 8 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...
ICGA
2007
89views Optimization» more  ICGA 2007»
13 years 7 months ago
Playing the Right Atari
We experimented a simple yet powerful optimization for Monte-Carlo Go tree search. It consists in dealing appropriately with strings that have two liberties. The heuristic is cont...
Tristan Cazenave