6960 search results - page 106 / 1392 » Continuity Analysis of Programs |
127
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
121
click to vote
LICS
2005
IEEE
15 years 8 months ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
120
click to vote
IWPC
2003
IEEE
15 years 8 months ago
2003
IEEE
1 : This paper describes a prototype tool that facilitates the process of understanding and managing multi-language program dependencies. More specifically, the software tool main...
115
click to vote
EUROGP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper we continue our study on adaptive genetic programming. We use Stepwise Adaptation of Weights (saw) to boost performance of a genetic programming algorithm o...
143
click to vote
PROPOR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This work is part of the effort to develop a speech recognition system for Brazilian Portuguese. The resources for the training and test stages of this system, such as c...