14382 search results - page 76 / 2877 » Time in Connectionist Models |
JALC
2006
15 years 1 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
110
click to vote
TCS
2008
15 years 1 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, Previously I presented ways to compute arithmetic functions, such as addition and multiplic...
131
click to vote
LFCS
2007
Springer
15 years 7 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
106
click to vote
ISVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
Retiming has been shown to be a powerful technique for improving the performance of synchronous circuits. However, even though retiming algorithms of polynomial time complexity ha...
112
Voted
TNN
2008
15 years 1 months ago
2008
Abstract--Despite its great importance, there has been no general consensus on how to model the trends in time