521 search results - page 48 / 105 » Reduction Strategies and Acyclicity |
187
click to vote
IJCAI
2003
15 years 7 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
165
click to vote
TASE
2007
IEEE
16 years 12 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
145
click to vote
ISMIS
2005
Springer
15 years 11 months ago
2005
Springer
With the rapid advancement of information technology, scalability has become a necessity for learning algorithms to deal with large, real-world data repositories. In this paper, sc...
214
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...
168
click to vote
TSP
2008
15 years 6 months ago
2008
In a variety of signal processing and communications contexts, erasures occur inadvertently or can be intentionally introduced as part of a data reduction strategy. This paper disc...