8228 search results - page 1364 / 1646 » Structural Logical Relations |
121
Voted
SOFSEM
2010
Springer
16 years 19 days ago
2010
Springer
An arc-annotated string is a string of characters, called bases, augmented with a set of pairs, called arcs, each connecting two bases. Given arc-annotated strings P and Q the arc-...
141
Voted
PLPV
2010
ACM
16 years 19 days ago
2010
ACM
Some programs are doubly-generic. For example, map is datatypegeneric in that many different data structures support a mapping operation. A generic programming language like Gener...
138
click to vote
PADL
2010
Springer
16 years 19 days ago
2010
Springer
Abstract. We study a number of embedded DSLs for autonomous ordinary differential equations (autonomous ODEs) in Haskell. A naive implementation based on the lazy tower of derivat...
114
click to vote
CSCW
2010
ACM
16 years 18 days ago
2010
ACM
The success of Wikipedia and the relative high quality of its articles seem to contradict conventional wisdom. Recent studies have begun shedding light on the processes contributi...
125
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Recent advances in scene understanding and related tasks
have highlighted the importance of using regions to reason
about high-level scene structure. Typically, the regions are
...