Sciweavers

9405 search results - page 156 / 1881
» Computing a Model of Set Theory
Sort
View
PODC
2005
ACM
15 years 8 months ago
Toward a theory of transactional contention managers
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
134
Voted
GROUP
2003
ACM
15 years 8 months ago
Communities of action: a cognitive and social approach to the design of CSCW systems
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...
Manuel Zacklad
AAAI
2006
15 years 4 months ago
Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic
We consider the problem of rewriting a query efficiently using materialized views. In the context of information integration, this problem has received significant attention in th...
Yolifé Arvelo, Blai Bonet, Maria-Esther Vid...
GRC
2005
IEEE
15 years 8 months ago
Information granulation and granular relationships
— As an emerging research method to deal with information and knowledge processing, various topics of granular computing have recently received more attention by researchers. The...
Jingtao Yao
NIPS
2001
15 years 4 months ago
A theory of neural integration in the head-direction system
Integration in the head-direction system is a computation by which horizontal angular head velocity signals from the vestibular nuclei are integrated to yield a neural representat...
Richard H. R. Hahnloser, Xiaohui Xie, H. Sebastian...