Sciweavers

2911 search results - page 207 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
HCI
2007
15 years 8 months ago
Aspects of Augmented Social Cognition: Social Information Foraging and Social Search
In this paper, we summarized recent work in modeling how users socially forage and search for information. One way to bridge between different communities of users is to diversify ...
Ed Huai-hsin Chi, Peter Pirolli, Shyong K. Lam
EUMAS
2006
15 years 8 months ago
Situated Semantic Alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer
FUIN
2008
91views more  FUIN 2008»
15 years 6 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
CSCW
2004
ACM
15 years 6 months ago
Community-Building with Web-Based Systems - Investigating a Hybrid Community of Students
This paper examines WiInf-Central, the `virtual homeplace' of a student community (on Information Systems) at the University of Hamburg, and focuses on processes of social ide...
Markus Rohde, Leonard Reinecke, Bernd Pape, Moniqu...
JSYML
2002
81views more  JSYML 2002»
15 years 6 months ago
Modulated Fibring and The Collapsing Problem
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
Cristina Sernadas, João Rasga, Walter Alexa...