Sciweavers

1914 search results - page 255 / 383
» Abstract lambda-Calculus Machines
Sort
View
INLG
2010
Springer
13 years 5 months ago
Feature Selection for Fluency Ranking
16:30 Generating and Validating Abstracts of Meeting Conversations: a User Study. Gabriel Murray, Giuseppe Carenini and Raymond Ng 16:30 - 16:45 Break Session 3: Sentence Level Gen...
Daniël de Kok
PVM
2010
Springer
13 years 5 months ago
Load Balancing for Regular Meshes on SMPs with MPI
Abstract. Domain decomposition for regular meshes on parallel computers has traditionally been performed by attempting to exactly partition the work among the available processors ...
Vivek Kale, William Gropp
SEMWEB
2010
Springer
13 years 5 months ago
ORE - A Tool for Repairing and Enriching Knowledge Bases
Abstract. While the number and size of Semantic Web knowledge bases increases, their maintenance and quality assurance are still difficult. In this article, we present ORE, a tool ...
Jens Lehmann, Lorenz Bühmann
CSMR
2010
IEEE
13 years 2 months ago
Under and Over Approximation of State Models Recovered for Ajax Applications
Abstract--In contrast to conventional multi-page Web applications, an Ajax application is developed as a single-page application in which content and structure are changed at runti...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
PROCEDIA
2010
148views more  PROCEDIA 2010»
13 years 2 months ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman