1828 search results - page 217 / 366 » First-Class Type Classes |
145
click to vote
ACL
2008
15 years 7 months ago
2008
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
167
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
138
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
We examine the question of solving the extinction probability of a particular class of continuous-time multi-type branching processes, named Markovian binary trees (MBT). The exti...
162
click to vote
FMOODS
2008
15 years 7 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
190
click to vote
LREC
2008
15 years 7 months ago
2008
This paper presents an approach to computer-assisted teaching of reading abilities using corpus data. The approach is supported by a set of tools for automatically selecting and c...