3552 search results - page 207 / 711 » Proof theory in the abstract |
173
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Combination rules proposed so far in the DempsterShafer theory of evidence, especially Dempster rule, rely on a basic assumption, that is, pieces of evidence being combin...
158
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
182
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
166
click to vote
GISCIENCE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. New methods of data collection, in particular the wide range of sensors and sensor networks that are being constructed, with the ability to collect real-time data streams...
162
click to vote
IANDC
2008
15 years 6 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...