Sciweavers

3827 search results - page 509 / 766
» The Epsilon Generation Language
Sort
View
CLEF
2007
Springer
16 years 5 days ago
Overview of the Answer Validation Exercise 2007
The Answer Validation Exercise at the Cross Language Evaluation Forum is aimed at developing systems able to decide whether the answer of a Question Answering system is correct or...
Anselmo Peñas, Álvaro Rodrigo, Felis...
CP
2007
Springer
16 years 5 days ago
Solving the Salinity Control Problem in a Potable Water System
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
Chiu Wo Choi, Jimmy Ho-Man Lee
ECOOP
2007
Springer
16 years 5 days ago
Metaprogramming with Traits
Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objects often contain boilerplate code for mapping database fields to cl...
John H. Reppy, Aaron Turon
ESOP
2007
Springer
16 years 5 days ago
Static Analysis by Policy Iteration on Relational Domains
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah...
IWMM
2007
Springer
85views Hardware» more  IWMM 2007»
16 years 4 days ago
Uniqueness inference for compile-time object deallocation
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
Sigmund Cherem, Radu Rugina