Sciweavers

9697 search results - page 429 / 1940
» Intelligent Transportation Systems
Sort
View
IAT
2009
IEEE
16 years 1 months ago
Methodologies for Self-Organising Systems: A SPEM Approach
This article summarises five relevant methods for developing self-organising multi-agent systems. It identifies their most promising aspects and provides a description of each o...
Mariachiara Puviani, Giovanna Di Marzo Serugendo, ...
IEAAIE
2009
Springer
16 years 1 months ago
Spatial Exact Match Query Based on the NA-Tree Approach in P2P Systems
In this paper, we propose to apply an NA-tree in the Chord system to encode spatial region data in the data key part used in the hash function to data search. That is, we combine t...
Ye-In Chang, Chen-Chang Wu, Ching-I Wang
LFCS
2009
Springer
16 years 1 months ago
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...
Rosalie Iemhoff, George Metcalfe
AIME
2005
Springer
16 years 11 days ago
Mining Clinical Data: Selecting Decision Support Algorithm for the MET-AP System
We have developed an algorithm for triaging acute pediatric abdominal pain in the Emergency Department using the discovery-driven approach. This algorithm is embedded into the MET-...
Jerzy Blaszczynski, Ken Farion, Wojtek Michalowski...
TABLEAUX
2005
Springer
16 years 9 days ago
Pdk: The System and Its Language
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...