2214 search results - page 174 / 443 » Complexity of Reasoning |
133
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
125
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
In an influential paper titled “The Benefits of Relaxing Punctuality” [2], Alur, Feder, and Henzinger introduced Metric Interval Temporal Logic (MITL) as a fragment of the r...
127
Voted
CSL
2005
Springer
15 years 9 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
129
Voted
APSEC
2004
IEEE
15 years 7 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...
145
Voted
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...