9888 search results - page 325 / 1978 » compute 2009 |
233
click to vote
LFCS
2009
Springer
16 years 2 months ago
2009
Springer
We study computational aspects of a probabilistic logic based on a well-known model of induction by Valiant. We prove that for this paraconsistent logic the set of valid formulas ...
112
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Zentrales Anliegen bei der Erstellung gro
111
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Nach den aktuellen gesetzlichen Bestimmungen ist auch eigenst
152
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
In this paper we present the design of a novel embedded processor architecture (which we call a