2308 search results - page 30 / 462 » Categorial Semantics For LFG |
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In many topic identification applications, supervised training labels are indirectly related to the semantic content of the documents being classified. For example, many topical...
120
click to vote
ICFP
2012
ACM
13 years 2 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
122
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
Structured retrieval aims at exploiting the structural information of documents when searching for documents. Structured retrieval makes use of both content and structure of docum...
111
click to vote
ICWSM
2008
15 years 1 months ago
2008
In this paper, we present a series of semantic analyses of words in political blogs in the setting of categorization of two opposite political orientations: liberal vs. conservati...
IANDC
2010
14 years 10 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...