4708 search results - page 139 / 942 » Generating the Structure of Argument |
137
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
133
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
An analysis for the phase transition in a random NK landscape model is given. For the fixed ratio model, NK(n, k, z), Gao and Culberson [17] showed that a random instance generat...
124
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
This paper presents a method to represent two-person interactions at a semantic level with a natural language description. A human interaction is composed of two singleperson acti...
166
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
144
click to vote
TACAS
2010
Springer
16 years 23 hour ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...