Sciweavers

443 search results - page 28 / 89
» The Lost Art of Abstraction
Sort
View
90
Voted
DIS
2007
Springer
15 years 4 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
ICANN
2005
Springer
15 years 3 months ago
Ensemble of SVMs for Improving Brain Computer Interface P300 Speller Performances
Abstract. This paper addresses the problem of signal responses variability within a single subject in P300 speller Brain-Computer Interfaces. We propose here a method to cope with ...
Alain Rakotomamonjy, Vincent Guigue, G. Mallet, V....
87
Voted
KI
2001
Springer
15 years 2 months ago
Experiments with an Agent-Oriented Reasoning System
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...
Christoph Benzmüller, Mateja Jamnik, Manfred ...
GI
1998
Springer
15 years 2 months ago
The HERON Project - Multimedia Database Support for History and Human Sciences
Abstract. The interdisciplinary HERON project investigates the impact of multimedia applications from the humanities, in particular heraldry, on future database technology. We pres...
Werner Kießling, Katharina Erber-Urch, Wolf-...
78
Voted
SPLC
2010
14 years 11 months ago
Feature Diagrams as Package Dependencies
Abstract. FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research...
Roberto Di Cosmo, Stefano Zacchiroli