5090 search results - page 193 / 1018 » Constructing Strategies for Programming |
114
click to vote
PPDP
2001
Springer
15 years 7 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...
164
click to vote
ALP
1997
Springer
15 years 6 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-...
133
click to vote
CGI
2003
IEEE
15 years 6 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...
112
Voted
HCI
2007
15 years 4 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
15 years 8 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...