90 search results - page 4 / 18 » A Treatment Of Negative Descriptions Of Typed Feature Struct... |
ICFP
2003
ACM
14 years 5 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
CP
1997
Springer
13 years 9 months ago
1997
Springer
Feature trees have been used to accommodate records in constraint programming and record like structures in computational linguistics. Feature trees model records, and feature cons...
COLING
2010
13 years 10 days ago
2010
We study a novel shallow information extraction problem that involves extracting sentences of a given set of topic categories from medical forum data. Given a corpus of medical fo...
LREC
2010
13 years 6 months ago
2010
In recent years, text classification in sentiment analysis has mostly focused on two types of classification, the distinction between objective and subjective text, i.e. subjectiv...
FSTTCS
2006
Springer
13 years 9 months ago
2006
Springer
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are neg...