4435 search results - page 485 / 887 » Networking named content |
178
click to vote
TAMC
2010
Springer
15 years 12 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
181
click to vote
DSD
2002
IEEE
15 years 12 months ago
2002
IEEE
Modern microprocessors schedule instructions dynamically in order to exploit instruction-level parallelism. It is necessary to increase instruction window size for improving instr...
164
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The information overload on the Web has created a great need for efficient filtering mechanisms. Many sites (e.g., CNN and Quicken) address this problem by allowing a user to crea...
186
click to vote
IH
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Users of some systems are at risk of being compelled to disclose their keys or other private data, and this risk could be mitigated if access control mechanisms supported...
203
click to vote
ICCS
1997
Springer
15 years 11 months ago
1997
Springer
The name of the system is \THE CG MARS LANDER", which stands forType Hierarchy Enhanced CGMatching And Retrieval SystemLinear Associative N-tuple Deductive Embedded Representa...