Sciweavers

8697 search results - page 1418 / 1740
» An Approach to the Enterprise Integration
Sort
View
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
16 years 6 days ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
ISER
2004
Springer
117views Robotics» more  ISER 2004»
16 years 6 days ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
JIT
2004
Springer
123views Database» more  JIT 2004»
16 years 6 days ago
Listening to Agents - Transparent Representation and Presentation of Agent Communication in Mobile Systems
In the research domain agent-based systems are widely used for mobile and distributed information systems. Their underlying paradigm provides excellent mechanisms to isolate tasks ...
Matthias Jöst, Matthias Merdes, Rainer Malaka
KDD
2004
ACM
159views Data Mining» more  KDD 2004»
16 years 6 days ago
Optimal randomization for privacy preserving data mining
Randomization is an economical and efficient approach for privacy preserving data mining (PPDM). In order to guarantee the performance of data mining and the protection of individ...
Michael Yu Zhu, Lei Liu
KI
2004
Springer
16 years 6 days ago
On-Line Decision-Theoretic Golog for Unpredictable Domains
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
Alexander Ferrein, Christian Fritz, Gerhard Lakeme...
« Prev « First page 1418 / 1740 Last » Next »