1288 search results - page 114 / 258 » Visual Generalization in Programming by Example |
128
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
113
Voted
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
140
Voted
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
Human-nameable visual “attributes” can benefit various recognition tasks. However, existing techniques restrict these properties to categorical labels (for example, a person ...
83
Voted
ICSE
2009
IEEE-ACM
16 years 3 months ago
2009
IEEE-ACM
Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combin...
105
Voted
ERLANG
2009
ACM
15 years 9 months ago
2009
ACM
This paper describes opportunities for automatically modernizing Erlang applications, cleaning them up, eliminating certain bad smells from their code and occasionally also improv...