Sciweavers

5401 search results - page 293 / 1081
» Using Versions in GIS
Sort
View
ESOP
1994
Springer
15 years 10 months ago
Local Type Reconstruction by Means of Symbolic Fixed Point Iteration
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
Torben Amtoft
FPCA
1995
15 years 10 months ago
A Generalization of Exceptions and Control in ML-like Languages
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be ...
Carl A. Gunter, Didier Rémy, Jon G. Riecke
ACRI
2008
Springer
15 years 8 months ago
Quick Energy Drop in Stochastic 2D Minority
Cellular automata are usually updated synchronously and thus deterministically. The question of stochastic dynamics arises in the development of cellular automata resistant to nois...
Damien Regnault
EMNLP
2007
15 years 8 months ago
Covington Variations
Three versions of the Covington algorithm for non-projective dependency parsing have been tested on the ten different languages for the Multilingual track of the CoNLLX Shared Tas...
Svetoslav Marinov
ISIM
2007
15 years 8 months ago
Genomial Co-Design: An MDA-compliant Approach for Embedded Architectures
Abstract. This paper proposes a modified, genomial, version of function - architecture co-design rnethod so that wider cvaluation of architecturcs from both functional arrd structu...
Janis Silins