3323 search results - page 447 / 665 » Computational Semantics with Functional Programming |
154
click to vote
ICS
1989
Tsinghua U.
15 years 10 months ago
1989
Tsinghua U.
Control intensive scalar programs pose a very different challenge to highly pipelined supercomputers than vectorizable numeric applications. Function call/return and branch instru...
177
click to vote
SFP
2004
15 years 8 months ago
2004
NiMo (Nets in Motion) is a visual environment aimed to support totally graphic programming in Data Flow style, with a strong functional inspiration. Solutions of growing complexit...
170
click to vote
JFP
2008
15 years 6 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
187
click to vote
CG
2002
Springer
15 years 6 months ago
2002
Springer
Gentropy is a genetic programming system that evolves two-dimensional procedural textures. It synthesizes textures by combining mathematical and image manipulation functions into ...
144
click to vote
HICSS
1998
IEEE
15 years 10 months ago
1998
IEEE
The National Institute of Standards and Technology (NIST) has developed a form-based handprint recognition system for reading information written on forms. This public domain soft...