REPLICATION
2010
13 years 2 months ago
2010
Abstract The consensus problem has recently emerged as a major interest in systems conferences, yet the systems community tends to ignore most of the large body of theory on this s...
JSYML
2010
13 years 2 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
ML
2008
ACM
13 years 2 months ago
2008
ACM
Kernel functions have become an extremely popular tool in machine learning, with an attractive theory as well. This theory views a kernel as implicitly mapping data points into a ...
AML
2008
13 years 3 months ago
2008
Abstract. This paper develops the model theory of ordered structures that satisfy Keisler's regularity scheme, and its strengthening REF(L) (the reflection scheme) which is an...
NN
2007
Springer
13 years 4 months ago
2007
Springer
There has been much discussion of what a scientific theory of consciousness would look like, and even whether such a theory is possible. Some common misunderstandings of the natur...
MSCS
2007
13 years 4 months ago
2007
Perturbation theory has always been an important part of natural sciences. From celestial mechanics to quantum theory of fields it has always played a central role that this litt...
TON
2002
13 years 4 months ago
2002
The min-plus theory of greedy shapers has been developed after Cruz's results on the calculus of network delays. An example of greedy shaper is the buffered leaky bucket cont...
TCS
2002
13 years 4 months ago
2002
An instance of the (Generalized) Post Correspondence Problem is during the decision process typically reduced to one or more other instances, called its successors. In this paper ...
RAS
1998
13 years 4 months ago
1998
In this paper a theory of delegation is presented. There are at least three reasons for developing such a theory. First, one of the most relevant notions of "agent" is b...
LOGCOM
2002
13 years 4 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...