2308 search results - page 182 / 462 » Representing Symbolic Reasoning |
200
click to vote
DAGSTUHL
1997
15 years 7 months ago
1997
This paper presents a technique for local surface extraction from scalar and vector fields using deformable surfaces. The goal of surface extraction is often to find features, o...
146
click to vote
IJCAI
1993
15 years 7 months ago
1993
One of the open problems listed in Rivest and Schapire, 1989] is whether and how that the copies of L in their algorithm can be combined into one for better performance. This pape...
195
click to vote
TASLP
2011
15 years 1 months ago
2011
Abstract—This paper proposes methods for information processing of audio streams using methods of information geometry. We lay the theoretical groundwork for a framework allowing...
205
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
167
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...