Sciweavers

6343 search results - page 456 / 1269
» Development of a Cartographic Language
Sort
View
CLEF
2006
Springer
15 years 10 months ago
Overview of the Answer Validation Exercise 2006
The first Answer Validation Exercise (AVE) has been launched at the Cross Language Evaluation Forum 2006. This task is aimed at developing systems able to decide whether the answer...
Anselmo Peñas, Álvaro Rodrigo, Valen...
163
Voted
CPAIOR
2006
Springer
15 years 10 months ago
The Range Constraint: Algorithms and Implementation
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
Christian Bessière, Emmanuel Hebrard, Brahi...
ECOOP
2006
Springer
15 years 10 months ago
Efficient Object Querying for Java
Modern programming languages have little or no support for querying objects and collections. Programmers are forced to hand code such queries using nested loops, which is both cumb...
Darren Willis, David J. Pearce, James Noble
ESOP
2000
Springer
15 years 10 months ago
A Kleene Analysis of Mobile Ambients
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv
PPDP
2000
Springer
15 years 10 months ago
A high performance Erlang system
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
Erik Johansson, Mikael Pettersson, Konstantinos F....