9521 search results - page 427 / 1905 » Compiling with continuations, continued |
106
click to vote
FS
2006
15 years 4 months ago
2006
We prove a general version of the super-replication theorem, which applies to Kabanov's model of foreign exchange markets under proportional transaction costs. The market is ...
104
click to vote
JAT
2006
15 years 4 months ago
2006
We give an explicit parametrization of a set of almost periodic CMV matrices whose spectrum (is equal to the absolute continuous spectrum and) is a homogenous set E lying on the u...
156
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a new classification technique of continuous EEG recordings, based on a network of spiking neurons. Human EEG signals published on the BCI Competition website w...
144
click to vote
MAM
2008
15 years 4 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
111
click to vote
ENTCS
2007
15 years 4 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...