11022 search results - page 82 / 2205 » Programming Systems for Autonomy |
147
Voted
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Active learning and crowdsourcing are promising ways to efficiently build up training sets for object recognition, but thus far techniques are tested in artificially controlled ...
124
Voted
CHI
2002
ACM
16 years 2 months ago
2002
ACM
HANDS is a new programming system for children that was designed for usability. This paper examines the effectiveness of three features of HANDS: queries, aggregate operations, an...
138
Voted
POPL
1994
ACM
15 years 6 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
116
click to vote
SP
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
127
Voted
TR
2008
15 years 2 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...