Sciweavers

2104 search results - page 218 / 421
» Adaptive Goal Recognition
Sort
View
GI
2004
Springer
15 years 12 months ago
Data Management Issues in Disconnected Sensor Networks
Abstract: The possibility of disconnection is one of the fundamental new networking problems presented by sensor networks. The goal of this paper is to address the problem of resul...
Wolfgang Lindner, Samuel Madden
ICAISC
2004
Springer
15 years 12 months ago
Strategic Planning through Model Checking of ATL Formulae
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
Wojciech Jamroga
ICEIS
2003
IEEE
15 years 12 months ago
Code Generation for Distributed Systems
d graphically, interest in code generators which create applications based on abstract system descriptions, is high. An indicator for this are the many commercial products. This pa...
Markus Aleksy, Ralf Gitzel
WETICE
2003
IEEE
15 years 12 months ago
Knowledge Management for Distributed Agile Processes: Models, Techniques, and Infrastructure
This report summarizes presentations and discussions of the IEEE WETICE 2003 Workshop on Knowledge Management for Distributed Agile Processes. The main goals of the workshop were ...
Harald Holz, Grigori Melnik, Martin Schaaf
KR
2010
Springer
15 years 11 months ago
A Logical Understanding of Legal Interpretation
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
Guido Boella, Guido Governatori, Antonino Rotolo, ...