2501 search results - page 200 / 501 » Obligations and Their Interaction with Programs |
177
Voted
SIGMOD
2012
ACM
13 years 7 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...
258
click to vote
ICFP
2009
ACM
16 years 5 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...
139
click to vote
ESOP
2010
Springer
16 years 1 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...
139
Voted
HRI
2010
ACM
15 years 11 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...
159
Voted
IAT
2009
IEEE
15 years 11 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...