2670 search results - page 401 / 534 » Modeling systems with internal state using evolino |
155
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Working in a team environment can be either an efficient and productive means of completing projects or a nightmare where the project never seems to end. Most of us have been a pa...
165
click to vote
DATE
2006
IEEE
16 years 11 days ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...
141
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
146
click to vote
EVOW
2003
Springer
15 years 11 months ago
2003
Springer
One of the problems in the use of evolutionary computer systems in artistic tasks is the lack of artificial models of human critics. In this paper, based on the state of the art an...
167
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...