823 search results - page 15 / 165 » Stateful Subset Cover |
SIAMCOMP
2000
13 years 10 months ago
2000
The main result is a finite-state version of the Kraft
AAAI
2010
13 years 11 months ago
2010
Belief revision performs belief change on an agent's beliefs when new evidence (either of the form of a propositional formula or of the form of a total pre-order on a set of ...
CIDU
2010
13 years 8 months ago
2010
Ecosystem-related observations from remote sensors on satellites offer huge potential for understanding the location and extent of global land cover change. This paper presents a c...
DAC
2009
ACM
14 years 11 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
AML
2010
13 years 10 months ago
2010
Let J (M2 ) denote the -ideal associated with two-dimensional Miller forcing. We show that it is relatively consistent with ZFC that the additivity of J (M2 ) is bigger than the c...