Sciweavers

1912 search results - page 253 / 383
» On the evaluation of argumentation formalisms
Sort
View
PR
1998
86views more  PR 1998»
15 years 6 months ago
Optimizing the cost matrix for approximate string matching using genetic algorithms
This paper describes a method for optimizing the cost matrix of any approximate string matching algorithm based on the Levenshtein distance. The method, which uses genetic algorit...
Marc Parizeau, Nadia Ghazzali, Jean-Françoi...
PUC
2008
117views more  PUC 2008»
15 years 5 months ago
The disenchantment of affect
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
Phoebe Sengers, Kirsten Boehner, Michael Mateas, G...
ICRA
2010
IEEE
130views Robotics» more  ICRA 2010»
15 years 4 months ago
On the complexity of optimal reconfiguration planning for modular reconfigurable robots
— This paper presents a thorough analysis of the computational complexity of optimal reconfiguration planning problem for chain-type modular robots, i.e. finding the least number...
Feili Hou, Wei-Min Shen
PVLDB
2010
97views more  PVLDB 2010»
15 years 4 months ago
TRAMP: Understanding the Behavior of Schema Mappings through Provenance
Though partially automated, developing schema mappings remains a complex and potentially error-prone task. In this paper, we present TRAMP (TRAnsformation Mapping Provenance), an ...
Boris Glavic, Gustavo Alonso, Renée J. Mill...
RTS
2010
79views more  RTS 2010»
15 years 4 months ago
Spin-based reader-writer synchronization for multiprocessor real-time systems
Reader preference, writer preference, and task-fair reader-writer locks are shown to cause undue blocking in multiprocessor real-time systems. Phase-fair reader writer locks, a ne...
Björn B. Brandenburg, James H. Anderson