2308 search results - page 161 / 462 » Representing Symbolic Reasoning |
158
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
Neurules are a kind of hybrid rules that combine a symbolic (production rules) and a connectionist (adaline unit) representation. Each neurule is represented as an adaline unit. O...
151
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
166
click to vote
CPM
2000
Springer
15 years 10 months ago
2000
Springer
We present a Boyer-Moore approach to string matching over LZ78 and LZW compressed text. The key idea is that, despite that we cannot exactly choose which text characters to inspect...
212
click to vote
CIARP
2007
Springer
15 years 10 months ago
2007
Springer
Many approaches to Information Extraction (IE) have been proposed in literature capable of finding and extract specific facts in relatively unstructured documents. Their applicatio...
148
click to vote
COCOA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper proposes a method to compute the transitive closure of a union of affine relations on integer tuples. Within Presburger arithmetics, complete algorithms to com...