10899 search results - page 605 / 2180 » The GP Programming System |
179
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
199
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
164
click to vote
PADL
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...
150
click to vote
SAS
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
181
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...