2555 search results - page 415 / 511 » Quantifiers and Working Memory |
172
click to vote
HOST
2009
IEEE
15 years 10 months ago
2009
IEEE
A PUF or Physical Unclonable Function is a function that is embodied in a physical structure that consists of many random uncontrollable components which originate from process var...
175
click to vote
ACNS
2004
Springer
15 years 10 months ago
2004
Springer
The concept of group signature allows a group member to sign message anonymously on behalf of the group. In the event of a dispute, a designated entity can reveal the identity of a...
169
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
168
click to vote
CLUSTER
2004
IEEE
15 years 10 months ago
2004
IEEE
Scientific applications often need to access remote file systems. Because of slow networks and large data size, however, remote I/O can become an even more serious performance bot...
171
click to vote
CG
2006
Springer
15 years 10 months ago
2006
Springer
In the last decade, proof-number search and Monte-Carlo methods have successfully been applied to the combinatorial-games domain. Proof-number search is a reliable algorithm. It re...