4985 search results - page 992 / 997 » Observation of String-Rewriting Systems |
EMSOFT
2010
Springer
13 years 4 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
GAMESEC
2010
13 years 4 months ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
ICCAD
2010
IEEE
13 years 4 months ago
2010
IEEE
Extreme technology scaling in silicon devices drastically affects reliability, particularly because of runtime failures induced by transistor wearout. Currently available online t...
ICIP
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper, we present a temporal candidate generation scheme that can be applied to motion estimators in Scalable Video Codecs (SVCs). For bidirectional motion estimation, usu...
ICPR
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper we present a new architecture for face recognition with a single reference image, which completely separates the training process from the recognition process. In th...