8141 search results - page 160 / 1629 » Higher Order Generalization |
119
Voted
UAI
1989
15 years 4 months ago
1989
In this paper, the feasibility of using finite totally ordered probability models under Aleliunas’s Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general...
227
Voted
AIIDE
2009
15 years 4 months ago
2009
We present a case-based reasoning technique for selecting build orders in a real-time strategy game. The case retrieval process generalizes features of the game state and selects ...
154
Voted
TOPNOC
2010
14 years 10 months ago
2010
Abstract. State caching is a memory reduction technique used by model checkers to alleviate the state explosion problem. It has traditionally been coupled with a depth-first search...
131
Voted
AAAI
2008
15 years 5 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
130
Voted
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes a novel wideband modeling technique for high-performance RF passives and linear(ized) analog circuits. The new method is based on a recently proposed sdomain h...