10899 search results - page 548 / 2180 » The GP Programming System |
234
click to vote
DALT
2005
Springer
16 years 19 days ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
145
click to vote
ATAL
2005
Springer
16 years 16 days ago
2005
Springer
There are many situations where an agent can perform one of several sets of actions in responses to changes in its environment, and the agent chooses to perform the set of actions...
217
click to vote
KDD
1999
ACM
15 years 11 months ago
1999
ACM
Code synthesis is routinely used in industry to generate GUIs, form lling applications, and database support code and is even used with COBOL. In this paper we consider the questi...
168
click to vote
FSTTCS
1993
Springer
15 years 11 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
203
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
As the number of I/O-intensive MPI programs becomes increasingly large, many efforts have been made to improve I/O performance, on both software and architecture sides. On the sof...