2479 search results - page 394 / 496 » A Computational Theory of Working Memory |
162
click to vote
SACMAT
2009
ACM
16 years 18 days ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...
167
click to vote
CADE
2007
Springer
16 years 8 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
168
click to vote
MEMOCODE
2006
IEEE
16 years 3 days ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
173
Voted
DOCENG
2006
ACM
16 years 2 days ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
164
click to vote
SIGIR
2006
ACM
16 years 1 days ago
2006
ACM
Since the website is one of the most important organizational structures of the Web, how to effectively rank websites has been essential to many Web applications, such as Web sear...