3809 search results - page 419 / 762 » Associative language descriptions |
179
click to vote
CICLING
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. Automatic Document summarization is proving to be an increasingly important task to overcome the information overload. The primary task of document summarization process ...
288
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We present optimization techniques for high level equational programs that are generalizations of affine control loops (ACLs). Significant parts of the SpecFP and PerfectClub benc...
184
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
We study a type system equipped with universal types and equirecursive types, which we refer to as F?. We show that type equality may be decided in time O(n log n), an improvement...
157
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Program inversion has many applications such as in the implementation of serialization/deserialization and in providing support for redo/undo, and has been studied by man...
208
click to vote
VL
2009
IEEE
16 years 2 months ago
2009
IEEE
For developers debugging their own code, augmenting the code of others, or trying to learn the implementation details of interactive behaviors, understanding how web pages work is...