4592 search results - page 579 / 919 » Framework for Studying Substitution |
164
Voted
ICALP
1994
Springer
15 years 11 months ago
1994
Springer
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
183
click to vote
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
The main purpose of this paper is to promote the study of computational aspects, primarily the convergence rate, of nonlinear dynamical systems from a combinatorial perspective. W...
188
click to vote
TACS
1994
Springer
15 years 11 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
198
Voted
POPL
1990
ACM
15 years 11 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
161
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper aims to forecast the economic impacts of changing land-use in UK uplands. We assume that farmers adaptively learn and respond to a dynamic economic environment. The main...