10568 search results - page 478 / 2114 » Computer Intelligence and Formalization |
131
click to vote
TCS
1998
15 years 4 months ago
1998
Parsing schemata provide a high-level formal description of parsers. These can be used, among as an intermediate level of abstraction for deriving the formal correctness of a pars...
138
click to vote
ACL
2010
15 years 3 months ago
2010
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
130
Voted
NAACL
2010
15 years 2 months ago
2010
In a supertagging task, sequence labeling models are commonly used. But their limited ability to model long-distance information presents a bottleneck to make further improvements...
127
click to vote
HCI
2009
15 years 2 months ago
2009
Culture and affect are closely tied domains that have been considered separately in HCI until now. After carefully reviewing research done in each of those domains, a formal ontolo...
112
Voted
TCS
2010
14 years 11 months ago
2010
This paper presents an exact correspondence in typing and dynamics between polarised linear logic and a typed -calculus based on IO-typing. The respective incremental constraints,...