17983 search results - page 182 / 3597 » Set Types and Applications |
140
click to vote
SIGCPR
2006
ACM
16 years 14 days ago
2006
ACM
Podcasting represents a new and exciting learning paradigm within an academic setting. Materials such conference reports, research manuscripts, and course lectures can be recorded...
178
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
183
click to vote
AFP
2004
Springer
15 years 12 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
151
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
The discipline of narratology has long recognized the need to classify documents as instances of different text types. We have discovered that classification is as applicable to h...
194
click to vote
POS
1994
Springer
15 years 10 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...