1449 search results - page 23 / 290 » Finiteness results for sigmoidal |
IPL
2008
14 years 11 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
AII
1989
15 years 3 months ago
1989
This paper surveys recent results concerning the inference of deterministic finite automata (DFAs). The results discussed determine the extent to which DFAs can be feasibly inferr...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
CRYPTO
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we study the bounded sum-of-digits discrete logarithm problem in finite fields. Our results concern primarily with
ISBI
2004
IEEE
16 years 15 days ago
2004
IEEE
In this contribution we introduce adaptive finite element methods for forward modeling in fluorescence optical tomography. Adaptive local mesh refinement increases the accuracy of...