Sciweavers

1805 search results - page 201 / 361
» A Theory of Closure Operators
Sort
View
ACOM
2006
Springer
16 years 16 days ago
Flexible Conversations Using Social Commitments and a Performatives Hierarchy
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable...
Robert C. Kremer, Roberto A. Flores
JCDL
2006
ACM
137views Education» more  JCDL 2006»
16 years 15 days ago
Exploring digital libraries: integrating browsing, searching, and visualization
Exploring services for digital libraries (DLs) include two major paradigms, browsing and searching, as well as other services such as clustering and visualization. In this paper, ...
Rao Shen, Naga Srinivas Vemuri, Weiguo Fan, Ricard...
HICSS
2005
IEEE
155views Biometrics» more  HICSS 2005»
16 years 4 days ago
Framework for Governance in Open Source Communities
In recent years, the development of software in open source communities has attracted immense attention from research and practice. The idea of commercial quality, free software, ...
Christoph Lattemann, Stefan Stieglitz
TPHOL
2005
IEEE
16 years 3 days ago
Alpha-Structural Recursion and Induction
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
Andrew M. Pitts
SAC
2005
ACM
16 years 3 days ago
An information retrieval model using the fuzzy proximity degree of term occurences
Based on the idea that the closer the query terms in a document are, the more relevant this document is, we propose a mathematical model of information retrieval based on a fuzzy ...
Michel Beigbeder, Annabelle Mercier