2451 search results - page 31 / 491 » The Octagon Abstract Domain |
144
click to vote
AIRS
2008
Springer
15 years 12 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...
154
click to vote
IJCNLP
2005
Springer
15 years 11 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...
153
click to vote
CSL
2008
Springer
15 years 6 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...
159
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
ion Himanshu Jain1,2 , Franjo Ivanˇci´c1 , Aarti Gupta1 , and Malay K. Ganai1 1 NEC Laboratories America, Inc., 4 Independence Way, Princeton, NJ 08540 2 School of Computer Scien...
177
click to vote
IDA
2000
Springer
15 years 5 months ago
2000
Springer
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand alize the regularities as abstract spatial objects evolving coher...