2526 search results - page 37 / 506 » A New Algorithm for Answer Set Computation |
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
IICAI
2003
13 years 10 months ago
2003
Abstract. This paper presents a new sequential algorithm to answer the question about the existence of a causal explanation for a set of independence statements (a dependency model...
HPDC
2010
IEEE
13 years 10 months ago
2010
IEEE
This paper proposes a cache hierarchy that enables Web search engines to efficiently process user queries. The different caches in the hierarchy are used to store pieces of data w...
ACL
2009
13 years 7 months ago
2009
This paper investigates the class of TreeTuple MCTAG with Shared Nodes, TTMCTAG for short, an extension of Tree Adjoining Grammars that has been proposed for natural language proc...
ICDM
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents interpretations for association rules. It first introduces Pawlak’s method, and the corresponding algorithm of finding decision rules (a kind of association ...