2448 search results - page 29 / 490 » The Octahedron Abstract Domain |
SPLC
2000
13 years 9 months ago
2000
Abstract: This paper describes the experiences of a small team of domain experts in reengineering the configuration control software for the 5ESS
AIRS
2008
Springer
14 years 2 months ago
2008
Springer
Abstract. In this paper, we describe an opinion analysis system using domainspecific lexical knowledge in Korean economic news. We tested our hypothesis that such domain-specific k...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. One important component of interactive systems is the generation component. While template-based generation is appropriate in many cases (for example, task oriented spoke...
CSL
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
ECTEL
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a simple and extendible framework to collect attention metadata and store them for further analysis. Currently, several metadata collectors have been implement...