Sciweavers

6054 search results - page 147 / 1211
» Implementation of Andorra-based Languages
Sort
View
FMOODS
2007
15 years 8 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 10 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 11 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 7 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 12 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