Sciweavers

5423 search results - page 189 / 1085
» Denial-of-service in automation systems
Sort
View
TPHOL
1998
IEEE
15 years 10 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
15 years 10 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...
EWCBR
1998
Springer
15 years 10 months ago
Representation of Failure Context for Diagnosis of Technical Applications
Development and maintenance of a case-base is known to be one of the most difficult problems in real-world application of case-based diagnosis systems. The complexity of large tech...
B. D. Netten
EWCBR
2006
Springer
15 years 10 months ago
Combining Case-Based and Similarity-Based Product Recommendation
Product recommender systems are a popular application and research field of CBR for several years now. However, almost all CBRbased recommender systems are not case-based in the or...
Armin Stahl
ILP
2000
Springer
15 years 10 months ago
Using ILP to Improve Planning in Hierarchical Reinforcement Learning
Hierarchical reinforcement learning has been proposed as a solution to the problem of scaling up reinforcement learning. The RLTOPs Hierarchical Reinforcement Learning System is an...
Mark D. Reid, Malcolm R. K. Ryan