2303 search results - page 81 / 461 » The Cryptographic Abstract Machine |
151
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
170
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Lay people discussing machine translation systems often perform a round trip translation, that is translating a text into a foreign language and back, to measure the qual...
175
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Machine learning approaches in natural language processing often require a large annotated corpus. We present a complementary approach that utilizes expert knowledge to o...
155
click to vote
ENTCS
2006
15 years 6 months ago
2006
In recent years several successful GALS realizations have been presented. The core of a GALS system is a locally synchronous island that is designed using industry standard synchr...
178
click to vote
WOWMOM
2006
ACM
16 years 3 days ago
2006
ACM
Electronic mails (emails) have become an indispensable part of most people’s daily routines. However, they were not designed for deployment in an adversarial environment, which ...