Sciweavers

5267 search results - page 214 / 1054
» Methods for Knowledge Based Controlling of Distributed Syste...
Sort
View
ICDCS
1997
IEEE
15 years 10 months ago
Two New Quorum Based Algorithms for Distributed Mutual Exclusion
Two novel suboptimal algorithms for mutual exclusion in distributed systems are presented. One is based on the modi cation of Maekawa's grid based quorum scheme. The size of ...
Wai-Shing Luk, Tien-Tsin Wong
IJCAI
1993
15 years 7 months ago
An Inductive Approach to Learning Search Control Rules for Planning
One method for reducing the time required for plan generation is to learn search control rules from experience. Most of the recent work in learning search control knowledge has co...
Christopher Leckie, Ingrid Zukerman
155
Voted
ACL
2006
15 years 7 months ago
Exploring Distributional Similarity Based Models for Query Spelling Correction
A query speller is crucial to search engine in improving web search relevance. This paper describes novel methods for use of distributional similarity estimated from query logs in...
Mu Li, Muhua Zhu, Yang Zhang, Ming Zhou
ICCS
2000
Springer
15 years 10 months ago
Conceptual Knowledge Discovery and Data Analysis
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...
Joachim Hereth Correia, Gerd Stumme, Rudolf Wille,...
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 4 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier