Sciweavers

CP
2016
Springer
8 years 3 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
CP
2016
Springer
8 years 3 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
ASE
2016
8 years 3 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...
ASE
2016
8 years 3 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
ASC
2016
8 years 3 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...
ASC
2016
8 years 3 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
8 years 3 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
8 years 3 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...