5090 search results - page 264 / 1018 » Constructing Strategies for Programming |
128
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
138
click to vote
SIGCSE
2004
ACM
15 years 10 months ago
2004
ACM
The educational literature recognizes that people go through a number of stages in their intellectual development. During the first stage, called received knowledge or dualism, p...
162
Voted
IEEEPACT
1999
IEEE
15 years 8 months ago
1999
IEEE
Automatic parallelization of general-purpose programs is still not possible in general in the presence of irregular data structures and complex control-flows. One promising strate...
215
click to vote
B
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
175
Voted
FROCOS
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...