Sciweavers

5624 search results - page 316 / 1125
» On Conditional Covering Problem
Sort
View
AAAI
1994
15 years 8 months ago
Termination Analysis of OPS5 Expert Systems
Bounded response time is an important requirement when rule-based expert systems are used in real-time applications. In the case the rule-based system cannot terminate in bounded ...
Hsiu-yen Tsai, Albert Mo Kim Cheng
JUCS
2008
139views more  JUCS 2008»
15 years 6 months ago
A Progressive Learning Method for Symbol Recognition
: This paper deals with a progressive learning method for symbol recognition which improves its own recognition rate when new symbols are recognized in graphic documents. We propos...
Sabine Barrat, Salvatore Tabbone
EOR
2007
104views more  EOR 2007»
15 years 6 months ago
Analysis of the constraint proposal method for two-party negotiations
In the constraint proposal method a mediator locates points at which the two decision makers have joint tangent hyperplanes. We give conditions under which these points are Pareto...
Mitri Kitti, Harri Ehtamo
KAIS
2007
75views more  KAIS 2007»
15 years 6 months ago
Non-redundant data clustering
Data clustering is a popular approach for automatically finding classes, concepts, or groups of patterns. In practice this discovery process should avoid redundancies with existi...
David Gondek, Thomas Hofmann
TOPLAS
2008
79views more  TOPLAS 2008»
15 years 5 months ago
Witnessing side effects
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
Tachio Terauchi, Alex Aiken