AML
2002
14 years 20 days ago
2002
In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets.
AI
2005
Springer
14 years 22 days ago
2005
Springer
We present a formal model for qualitative spatial reasoning with cardinal directions utilizing a co-ordinate system. Then, we study the problem of checking the consistency of a se...
PRESENCE
2006
14 years 22 days ago
2006
This paper is the second part of a two part paper that documents a detailed survey of the research carried out on consistency and latency in distributed interactive applications (...
PRESENCE
2006
14 years 22 days ago
2006
This paper is the first part of a two-part paper that documents a detailed survey of the research carried out on consistency and latency in distributed interactive applications (D...
JSYML
2006
14 years 23 days ago
2006
Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic (Fund. Math. 171 (2002)), we show that there exists a number n such that m Sm (the u...
JMLR
2006
14 years 23 days ago
2006
The consistency of classification algorithm plays a central role in statistical learning theory. A consistent algorithm guarantees us that taking more samples essentially suffices...
JSS
2008
14 years 23 days ago
2008
In this paper, we present an algorithm that can be used to implement sequential, causal, or cache consistency in distributed shared memory (DSM) systems. For this purpose it inclu...
JAIR
2006
14 years 23 days ago
2006
In this paper, we show that there is a close relation between consistency in a constraint network and set intersection. A proof schema is provided as a generic way to obtain consi...
IJCSA
2008
14 years 25 days ago
2008
: Skyline Queries have recently received a lot of attention due to their intuitive query capabilities. Following the concept of Pareto optimality all `best' database objects a...
FSS
2008
14 years 26 days ago
2008
Classical consistency degree has some limitations for measuring the consistency of a decision table, in which the lower approximation of a target decision is only taken into consi...