Sciweavers

126
Voted
CP
2016
Springer
9 years 10 months ago
Visual re-identification of individual objects: a core problem for organisms and AI
: Two open questions about the visual re-identification of individual objects over extended time periods are briefly reviewed: 1) How much a priori information about the nature of ...
Chris Fields
201
Voted
CP
2016
Springer
9 years 10 months ago
The role of rhythm in perceiving speech in noise: a comparison of percussionists, vocalists and non-musicians
The natural rhythms of speech help a listener follow what is being said, especially in noisy conditions. There is increasing evidence for links between rhythm abilities and languag...
Jessica Slater, Nina Kraus
106
Voted
ASE
2016
9 years 10 months ago
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
The Linux kernel does not export a stable, well-defined kernel interface, complicating the development of kernel-level services, such as device drivers and file systems. While th...
Tegawendé F. Bissyandé, Laurent R&ea...
85
Voted
ASE
2016
9 years 10 months ago
Diversity maximization speedup for localizing faults in single-fault and multi-fault programs
Xin Xia, Liang Gong, Tien-Duy B. Le, David Lo, Lin...
206
Voted
ASE
2016
9 years 10 months ago
Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach
Abstract Spreadsheet programs are probably the most successful example of enduser software development tools and are used for a variety of purposes. Like any type of software, they...
Dietmar Jannach, Thomas Schmitz
206
Voted
ASC
2016
9 years 10 months ago
Optimizing groups of colluding strong attackers in mobile urban communication networks with evolutionary algorithms
In novel forms of the Social Internet of Things, any mobile user within communication range may help routing messages for another user in the network. The resulting message delive...
Doina Bucur, Giovanni Iacca, Marco Gaudesi, Giovan...
103
Voted
ASC
2016
9 years 10 months ago
Fuzzy inference-based fall detection using kinect and body-worn accelerometer
In this paper we present a new approach for reliable fall detection. The fuzzy system consists of two input Mamdani engines and a triggering alert Sugeno engine. The output of the...
Bogdan Kwolek, Michal Kepski
AI
2016
Springer
9 years 10 months ago
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited
We discuss a new implementation of, and new experiments with, Fajtlowicz’s Dalmatian conjecture-making heuristic. Our program makes conjectures about relations of real number in...
Craig E. Larson, Nicolas Van Cleemput
AI
2016
Springer
9 years 10 months ago
Argument graphs and assumption-based argumentation
Robert Craven, Francesca Toni
AI
2016
Springer
9 years 10 months ago
A hybrid exact algorithm for complete set partitioning
In the Complete Set Partitioning problem we are given a finite set of elements where every subset is associated with a nd the goal is to partition this set into disjoint subsets ...
Tomasz P. Michalak, Talal Rahwan, Edith Elkind, Mi...