5090 search results - page 227 / 1018 » Constructing Strategies for Programming |
124
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract Our work aims at developing a robust discriminant controller for robot programming by demonstration. It addresses two core issues of imitation learning, namely what to...
149
Voted
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a strategy for the visualization of dynamic object relationships in Java programs. The metaphor of a chemical molecule is used to aid comprehension, and to hel...
116
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Aspects sometimes conflict between them in scenarios where they reify resource awareness concerns. These conflicts are the result of the scarcity of resources and the fact that, f...
146
click to vote
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...
105
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Programs written in point-free form express computation purely in terms of functions. Such programs are especially amenable to local transformation. In this paper, we describe a pr...