2022 search results - page 325 / 405 » Natural-Language Semantics for Associations |
135
Voted
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
126
Voted
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
134
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, the task of text segmentation is approached from a topic modeling perspective. We investigate the use of latent Dirichlet allocation (LDA) topic model to segment a ...
129
Voted
CIMCA
2008
IEEE
15 years 10 months ago
2008
IEEE
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
154
click to vote
SEMCO
2008
IEEE
15 years 10 months ago
2008
IEEE
The paper systematically compares two feature extraction algorithms to mine product features commented on in customer reviews. The first approach [17] identifies candidate featu...