1701 search results - page 169 / 341 » Computer Science and State Machines |
111
click to vote
SIGGRAPH
2010
ACM
15 years 1 months ago
2010
ACM
In the everyday exercise of controlling their locomotion, humans rely on their optic flow of the perceived environment to achieve collision-free navigation. In crowds, in spite o...
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Constraints are an important part of role-based access control policies. The safety or security of a system is maintained by enforcing constraints that are specified in the pol...
100
click to vote
SPIN
2009
Springer
15 years 5 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
SOFSEM
2004
Springer
15 years 4 months ago
2004
Springer
Recent studies show that state-space dynamics of randomly initialized recurrent neural network (RNN) has interesting and potentially useful properties even without training. More p...
FOCS
2000
IEEE
15 years 3 months ago
2000
IEEE
Shannon [Sha48, Sha49] in celebrated works had shown that n bits of shared key is necessary and sufficient to transmit n-bit classical information in an information-theoretically ...