IJCAI
2001
14 years 1 months ago
2001
IJCAI
2001
14 years 1 months ago
2001
Of late, new insight into the study of random -SAT
IJCAI
2001
14 years 1 months ago
2001
Abstract. In this paper we present a new approach for personalized presentation of web-page content. The model is defined as a preference-based configuration process that is based ...
IJCAI
2001
14 years 1 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
IJCAI
2001
14 years 1 months ago
2001
IJCAI
2001
14 years 1 months ago
2001
The Continuous Double Auction (CDA) is the dominant market institution for real-world trading of equities, commodities, derivatives, etc. We describe a series of laboratory experi...
IJCAI
2001
14 years 1 months ago
2001
We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compil...
IJCAI
2001
14 years 1 months ago
2001
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
IJCAI
2001
14 years 1 months ago
2001
The automatic generation of diagnostic decision trees from qualitative models is a reasonable compromise between the advantages of using a modelbased approach in technical domains...
IJCAI
2001
14 years 1 months ago
2001
We describe a framework that helps students learn from examples by generating example problem solutions whose level of detail is tailored to the students' domain knowledge. T...