2490 search results - page 208 / 498 » Complexity of Contextual Reasoning |
157
Voted
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Many of the documents in large text collections are duplicates and versions of each other. In recent research, we developed new methods for finding such duplicates; however, as the...
128
Voted
ICLP
1997
Springer
15 years 8 months ago
1997
Springer
Array updates in single assignment languages generally require some copying of the array, and thus tend to be more expensive than in imperative languages. As a result, programs in...
136
click to vote
FLAIRS
2007
15 years 7 months ago
2007
Symbolic reasoning is a well understood and effective approach to handling reasoning over formally represented knowledge; however, simple symbolic inference systems necessarily sl...
145
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
139
click to vote
CSL
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...