2303 search results - page 144 / 461 » The Cryptographic Abstract Machine |
162
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
Abstract Identifier attributes--very high-dimensional categorical attributes such as particular product ids or people's names--rarely are incorporated in statistical modeling....
131
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
A programmable secure coprocessor platform can help solve many security problems in distributed computing. However, these solutions usually require that coprocessor applications be...
162
click to vote
COLT
2005
Springer
15 years 12 months ago
2005
Springer
We consider a natural framework of learning from correlated data, in which successive examples used for learning are generated according to a random walk over the space of possibl...
157
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
Psi-calculi extend the pi-calculus with nominal datatypes to represent data, communication channels, and logics for facts and conditions. This general framework admits highly expr...
183
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...