Sciweavers

823 search results - page 62 / 165
» Stateful Subset Cover
Sort
View
SPLC
2010
15 years 5 months ago
Feature Diagrams as Package Dependencies
Abstract. FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research...
Roberto Di Cosmo, Stefano Zacchiroli
UAI
2008
15 years 5 months ago
Explanation Trees for Causal Bayesian Networks
Bayesian networks can be used to extract explanations about the observed state of a subset of variables. In this paper, we explicate the desiderata of an explanation and confront ...
Ulf H. Nielsen, Jean-Philippe Pellet, André...
CSREAESA
2003
15 years 5 months ago
Design of Digital Circuits on the Basis of Hardware Templates
The paper presents a technique for the design of digital circuits based on reusable hardware templates (HT). Any HT is being constructed in such a way that it might be employed for...
Valery Sklyarov, Iouliia Skliarova
AIIDE
2009
15 years 5 months ago
Case-Based Reasoning for Build Order in Real-Time Strategy Games
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 ...
Ben George Weber, Michael Mateas
APAL
2006
70views more  APAL 2006»
15 years 3 months ago
On the Hamkins approximation property
We give a short proof of a lemma which generalizes both the main lemma from the original construction in the author's thesis of a model with no 2-Aronszajn trees, and also th...
William J. Mitchell