381 search results - page 46 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
CSL
2008
Springer
15 years 3 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
104
click to vote
PODS
2006
ACM
16 years 1 months ago
2006
ACM
Given that most elementary problems in database design are NP-hard, the currently used database design algorithms produce suboptimal results. For example, the current 3NF decompos...
BSL
2004
15 years 1 months ago
2004
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
122
click to vote
HIPEAC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In transactional memory, aborted transactions reduce performance, and waste computing resources. Ideally, concurrent execution of transactions should be optimally ordered...
125
click to vote
IJCAI
2003
15 years 2 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...