1173 search results - page 49 / 235 » Program Derivation Using Analogy |
136
click to vote
APIN
1998
15 years 2 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
102
click to vote
INFORMS
2010
14 years 11 months ago
2010
Two-step MIR inequalities are valid inequalities derived from a facet of a simple mixedinteger set with three variables and one constraint. In this paper we investigate how to eff...
128
click to vote
ERLANG
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes the new exception handling in the Erlang programming language, to be introduced in the forthcoming Release 10 of the Erlang/OTP system. We give a comprehensiv...
132
Voted
CHI
2005
ACM
16 years 2 months ago
2005
ACM
An important way of making interfaces usable by nonexpert users is to enable the use of natural language input, as in natural language query interfaces to databases, or MUDs and M...
130
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...