107 search results - page 15 / 22 » Independence from obfuscation: A semantic framework for dive... |
ECML
2004
Springer
14 years 1 months ago
2004
Springer
The standard framework of machine learning problems assumes that the available data is independent and identically distributed (i.i.d.). However, in some applications such as image...
LADS
2007
Springer
14 years 2 months ago
2007
Springer
Programming languages based on the BDI style of agent model are now common. Within these there appears to be some, limited, agreement on the core functionality of agents. However, ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
SIGSOFT
1998
ACM
14 years 20 days ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...