5090 search results - page 193 / 1018 » Constructing Strategies for Programming |
PPDP
2001
Springer
14 years 2 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...
ALP
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. We show that non-determinism simplifies coding certain problems into programs. We define a non-confluent, but well-behaved class of rewrite systems for supporting non-...
CGI
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a system to analyze the reachability of the human body. The inverse kinematics technique is employed to find which regions of space are reachable using a certa...
HCI
2007
13 years 11 months ago
2007
The purpose of this study is to explore how student competition using the tit-for-tat strategy could be remedied with a minimum design change in order to support student to collabo...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. A method for evolving programs that construct multicellular structures (organisms) is described. The paper concentrates on the difficult problem of evolving a cell progra...