Sciweavers

2022 search results - page 325 / 405
» Natural-Language Semantics for Associations
Sort
View
TPHOL
2009
IEEE
16 years 16 days ago
Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL
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...
Andreas Lochbihler
CALCO
2009
Springer
156views Mathematics» more  CALCO 2009»
16 years 14 days ago
Van Kampen Colimits as Bicolimits in Span
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....
Tobias Heindel, Pawel Sobocinski
CIKM
2009
Springer
16 years 14 days ago
Text segmentation via topic modeling: an analytical study
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 ...
Hemant Misra, François Yvon, Joemon M. Jose...
CIMCA
2008
IEEE
16 years 11 days ago
Collective Operations as Building Blocks for Agent Cooperation
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
Nguyen Tuan Duc, Ikuo Takeuchi
SEMCO
2008
IEEE
16 years 8 days ago
A Comparative Study of Feature Extraction Algorithms in Customer Reviews
The paper systematically compares two feature extraction algorithms to mine product features commented on in customer reviews. The first approach [17] identifies candidate featu...
Liliana Ferreira, Niklas Jakob, Iryna Gurevych