1389 search results - page 57 / 278 » Definability as hypercomputational effect |
DIS
2006
Springer
14 years 11 days ago
2006
Springer
Abstract. To the best of our knowledge, this paper is the first attempt to formalise a pragmatic logic of scientific discovery in a manner such that it can be realised by scientist...
EKAW
2006
Springer
14 years 11 days ago
2006
Springer
The establishment of a computational framework of roles contributes effectively to the management of instance models because it provides us with a useful policy for treatment of vi...
SACRYPT
2000
Springer
14 years 8 days ago
2000
Springer
We present and analyze attacks on additive stream ciphers that rely on linear equations that hold with non-trivial probability in plaintexts that are encrypted using distinct keys....
ICPR
2010
IEEE
13 years 10 months ago
2010
IEEE
We present a methodology for learning spline-based probabilistic models for sets of contours, proposing a new Monte Carlo variant of the EM algorithm to estimate the parameters of...
CSR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Deterministic graph grammars are finite devices which generate the transition graphs of pushdown automata. We define the notion of synchronization by grammars, generalizi...