Sciweavers

1914 search results - page 31 / 383
» Abstract lambda-Calculus Machines
Sort
View
ECML
2005
Springer
14 years 1 months ago
On the LearnAbility of Abstraction Theories from Observations for Relational Learning
Stefano Ferilli, Teresa Maria Altomare Basile, Nic...
ICML
2004
IEEE
14 years 8 months ago
Dynamic abstraction in reinforcement learning via clustering
Abstraction in Reinforcement Learning via Clustering Shie Mannor shie@mit.edu Laboratory for Information and Decision Systems, Massachusetts Institute of Technology, Cambridge, MA ...
Shie Mannor, Ishai Menache, Amit Hoze, Uri Klein
UC
2009
Springer
14 years 2 months ago
Abstract Geometrical Computation and Computable Analysis
Geometrical Computation and Computable Analysis J´erˆome Durand-Lose⋆ Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P. 6759, F-45067 OR...
Jérôme Durand-Lose
ASM
2003
ASM
14 years 28 days ago
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
Dean Rosenzweig, Davor Runje, Neva Slani
MOZ
2004
Springer
14 years 1 months ago
The Metagrammar Compiler: An NLP Application with a Multi-paradigm Architecture
1) the Warren’s Abstract Machine and (2) constraints on finite set.
Denys Duchier, Joseph Le Roux, Yannick Parmentier