Sciweavers

2478 search results - page 28 / 496
» Quadtrees as an Abstract Domain
Sort
View
AIRS
2008
Springer
14 years 2 months ago
An Opinion Analysis System Using Domain-Specific Lexical Knowledge
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...
Youngho Kim, Yuchul Jung, Sung-Hyon Myaeng
IJCNLP
2005
Springer
14 years 1 months ago
Instance-Based Generation for Interactive Restricted Domain Question Answering Systems
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...
Matthias Denecke, Hajime Tsukada
CSL
2008
Springer
13 years 9 months ago
Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence
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...
Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama,...
ECTEL
2010
Springer
13 years 6 months ago
A Framework for the Domain-Independent Collection of Attention Metadata
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...
Maren Scheffel, Martin Friedrich, Katja Niemann, U...
TACAS
2005
Springer
124views Algorithms» more  TACAS 2005»
14 years 1 months ago
Localization and Register Sharing for Predicate Abstraction
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...
Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay ...