1206 search results - page 29 / 242 » Concurrent Abstract Predicates |
102
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
96
Voted
EUROPAR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
112
Voted
LACL
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper introduces a novel approach to language processing, in which linguistic facts are represented as predicates over ranges of the intput text, usually, but not li...
106
click to vote
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
92
Voted
EUROCRYPT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We study statistical tests with binary output that rarely outputs one, which we call nearly one-sided statistical tests. We provide an efficient reduction establishing im...