2501 search results - page 200 / 501 » Obligations and Their Interaction with Programs |
219
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: “How should the input change in...
284
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
169
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
165
click to vote
HRI
2010
ACM
16 years 1 months ago
2010
ACM
—Robots are poised to enter our everyday environments such as our homes and offices, contexts that present unique questions such as the style of the robot’s actions. Style-orie...
176
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper proposes a method of learning a similarity matrix from pairwise constraints for interactive clustering. The similarity matrix can be learned by solving an optimizatio...