2645 search results - page 173 / 529 » time 2003 |
178
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
192
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
156
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
173
click to vote
ICANN
2003
Springer
15 years 11 months ago
2003
Springer
We propose a simple method to map a generic threshold model, namely the Spike Response Model, to artificial data of neuronal activity using a minimal amount of a priori informatio...
183
click to vote
ICANN
2003
Springer
15 years 11 months ago
2003
Springer
Model based learning systems usually face to a problem of forgetting as a result of the incremental learning of new instances. Normally, the systems have to re-learn past instances...