33356 search results - page 108 / 6672 » Models of Continual Computation |
145
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
139
click to vote
ENTCS
2002
15 years 4 months ago
2002
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jorda...
135
click to vote
JSC
2010
15 years 2 months ago
2010
We show how to compute Hong’s bound for the absolute positiveness of a polynomial in d variables with maximum degree δ in O(n logd n) time, where n is the number of non-zero co...
116
click to vote
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
133
click to vote
TSD
2004
Springer
15 years 9 months ago
2004
Springer
In this paper a speaker adaptation methodology is proposed, which first automatically determines a number of speaker clusters in the training material, then estimates the paramete...