2477 search results - page 302 / 496 » First-Order Interactive Programming |
155
Voted
DEDS
2000
15 years 2 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
165
click to vote
SOFTVIS
2010
ACM
15 years 6 days ago
2010
ACM
Large clusters of mutual dependence have long been regarded as a problem impeding comprehension, testing, maintenance, and reverse engineering. An effective visualization can aid ...
123
click to vote
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
103
Voted
CHI
2007
ACM
16 years 2 months ago
2007
ACM
Spyware is an increasing problem. Interestingly, many programs carrying spyware honestly disclose the activities of the software, but users install the software anyway. We report ...
128
click to vote
HRI
2006
ACM
15 years 8 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...