5900 search results - page 405 / 1180 » Dependable Systems |
195
click to vote
RTA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
182
click to vote
HPCN
1995
Springer
15 years 10 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
178
Voted
STOC
1995
ACM
15 years 10 months ago
1995
ACM
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
191
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...
175
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...