1253 search results - page 38 / 251 » order 2000 |
87
Voted
AML
2008
15 years 25 days ago
2008
In this paper we study the idea of theories with containers, like sets, pairs, sequences. We provide a modest framework to study such theories. We prove two concrete results. Firs...
114
Voted
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We call verification the process of finding the actual explanation of a given set of manifestations. We consider an abductive setting, in which explanations are sets of a...
63
Voted
COMBINATORICS
2000
15 years 15 days ago
2000
We provide a much shorter proof of the following partition theorem of P. Erdos and R. Rado: If X is an uncountable linear order into which neither 1 nor 1 embeds, then X (, 4)3 f...
69
Voted
CORR
2000
Springer
15 years 15 days ago
2000
Springer
stract setting. Then we instantiate this algorithm with specific partial orderings and functions to obtain specific constraint propagation algorithms. In particular, using the noti...
98
Voted
ORDER
2007
15 years 5 days ago
2007
In this paper we study the 2-dimension of a finite poset from the topological point of view. We use homotopy theory of finite topological spaces and the concept of a beat point ...