Sciweavers

2303 search results - page 21 / 461
» The Cryptographic Abstract Machine
Sort
View
CMSB
2004
Springer
16 years 5 days ago
The Biochemical Abstract Machine BIOCHAM
Nathalie Chabrier-Rivier, François Fages, S...
ICFEM
2004
Springer
16 years 4 days ago
Implementing Dynamic Aggregations of Abstract Machines in the B Method
Nazareno Aguirre, Juan Bicarregui, Lucio Guzm&aacu...
154
Voted
IEEEICCI
2003
IEEE
16 years 1 days ago
Perceptual Learning and Abstraction in Machine Learning
Nicolas Bredeche, Zhongzhi Shi, Jean-Daniel Zucker