Sciweavers

1805 search results - page 201 / 361
» A Theory of Closure Operators
Sort
View
241
Voted
ACOM
2006
Springer
16 years 1 months 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
191
Voted
JCDL
2006
ACM
137views Education» more  JCDL 2006»
16 years 1 months 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...
175
Voted
HICSS
2005
IEEE
155views Biometrics» more  HICSS 2005»
16 years 19 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
218
Voted
TPHOL
2005
IEEE
16 years 18 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 18 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