Sciweavers

6054 search results - page 147 / 1211
» Implementation of Andorra-based Languages
Sort
View
108
Voted
FMOODS
2007
15 years 6 months ago
Pict Correctness Revisited
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
Philippe Bidinger, Adriana B. Compagnoni
FROCOS
2000
Springer
15 years 8 months ago
Compiling Multi-Paradigm Declarative Programs into Prolog
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
Sergio Antoy, Michael Hanus
ICPR
2000
IEEE
15 years 9 months ago
Video-Based Continuous Sign Language Recognition Using Statistical Methods
This paper is concerned with a development of a videobased recognition system of continuous sign language. The system aimsfor an automatic signer dependent recognition of sign lan...
Britta Bauer, Hermann Hienz, Karl-Friedrich Kraiss
IJCAI
2001
15 years 6 months ago
IBAL: A Probabilistic Rational Programming Language
In a rational programming language, a program specifies a situation faced by an agent; evaluating the program amounts to computing what a rational agent would believe or do in the...
Avi Pfeffer
ECOOP
2005
Springer
15 years 10 months ago
Expressive Pointcuts for Increased Modularity
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
Klaus Ostermann, Mira Mezini, Christoph Bockisch