1914 search results - page 117 / 383 » Abstract lambda-Calculus Machines |
105
click to vote
ENTCS
2008
15 years 2 months ago
2008
In this paper we consider a model of different sorting of receptors for Fibroblast Growth Factor via the endocytotic pathway. In order to accurately model the relocation in the di...
112
click to vote
ML
2006
ACM
15 years 2 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
106
click to vote
ML
2006
ACM
15 years 2 months ago
2006
ACM
Abstract Relational rule learning algorithms are typically designed to construct classification and prediction rules. However, relational rule learning can be adapted also to subgr...
JAPLL
2007
15 years 2 months ago
2007
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
118
click to vote
CASSIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...