1916 search results - page 196 / 384 » Reasoning with class algebra |
136
click to vote
SIROCCO
2003
15 years 5 months ago
2003
In this work, we embark on a study of the possibility (or impossibility), and the corresponding costs, of devising concurrent, low-contention implementations of atomic Read-Modify...
120
click to vote
BSL
2004
15 years 4 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...
146
click to vote
SDM
2004
SIAM
15 years 5 months ago
2004
SIAM
Most previously proposed mining methods on data streams make an unrealistic assumption that "labelled" data stream is readily available and can be mined at anytime. Howe...
149
Voted
IDA
2002
Springer
15 years 3 months ago
2002
Springer
The ability to identify the mineral composition of rocks and soils is an important tool for the exploration of geological sites. Even though expert knowledge is commonly used for t...
124
click to vote
CSL
2005
Springer
15 years 9 months ago
2005
Springer
The proof system G∗ 0 of the quantified propositional calculus corresponds to NC1 , and G∗ 1 corresponds to P, but no formula-based proof system that corresponds log space rea...