This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
User-defined data types, pattern-matching, and recursion are ubiquitous features of Haskell programs. Sometimes a function is called with arguments that are statically known to be...
This paper combines the novel concept of Fuzzy Gaussian Inference(FGI) with Genetic Programming (GP) in order to accurately classify real natural 3d human Motion Capture data. FGI ...
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
ProgrammingLand is an online system for delivering content to introductory computer science courses as a substitute for a conventional textbook. Because the system has a large num...
Curt D. Hill, Vijayakumar Shanmugasundaram, Martin...