1192 search results - page 183 / 239 » Computing Weakest Readings |
156
click to vote
TREC
2007
15 years 3 months ago
2007
Exegy’s submission for the TREC 2007 million query track consisted of results obtained by running the queries against the raw data, i.e., the data was not indexed. The hardwarea...
112
click to vote
DASFAA
2010
IEEE
15 years 2 months ago
2010
IEEE
Achieving data security over cooperating web services is becoming a reality, but existing XML access control architectures do not consider this federated service computing. In this...
120
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
: "Cognizing" (i.e., thinking, understanding, knowing, and having the capacity to do what cognizers can do) is a mental state. Systems without mental states, such as cogn...
146
click to vote
ENTCS
2006
15 years 2 months ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
124
click to vote
JEC
2006
15 years 1 months ago
2006
This paper explores power consumption for destructive-read embedded DRAM. Destructive-read DRAM is based on conventional DRAM design, but with sense amplifiers optimized for lower ...