152 search results - page 4 / 31 » On the Integration of Recursive ALN-Theories |
106
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
117
click to vote
ASM
2003
ASM
15 years 7 months ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
104
click to vote
ESANN
2003
15 years 3 months ago
2003
We propose a self organizing map (SOM) for sequences by extending standard SOM by two features, the recursive update of Sperduti [7] and the hyperbolic neighborhood of Ritter [5]. ...
101
Voted
ISPD
2005
ACM
15 years 7 months ago
2005
ACM
In this paper, we summarize circuit placement techniques and algorithms developed by the BLAC CAD research group; these have been integrated into our recursive bisection based pla...
107
click to vote
SIAMCO
2008
15 years 1 months ago
2008
We introduce two new tools that can be useful in nonlinear observer and output feedback design. The first one is a simple extension of the notion of homogeneous approximation to ma...