Sciweavers

DAGSTUHL
2008
13 years 9 months ago
Mining Phenotypes for Protein Function Prediction
Ulf Leser, Philip Groth, Bertram Weiss, Hans-Diete...
DAGSTUHL
2008
13 years 9 months ago
08061 Abstracts Collection -- Types, Logics and Semantics for State
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
DAGSTUHL
2008
13 years 9 months ago
08061 Executive Summary -- Types, Logics and Semantics for State
From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in ...
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
DAGSTUHL
2008
13 years 9 months ago
The Grand Challenges and Myths of Neural-Symbolic Computation
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
Luís C. Lamb
DAGSTUHL
2008
13 years 9 months ago
Perspectives of Neuro--Symbolic Integration -- Extended Abstract --
Kai-Uwe Kühnberger, Helmar Gust, Peter Geibel
DAGSTUHL
2008
13 years 9 months ago
Theory of Real Computation According to EGC
The Exact Geometric Computation (EGC) mode of computation has been developed over the last decade in response to the widespread problem of numerical non-robustness in geometric al...
Chee-Keng Yap
DAGSTUHL
2008
13 years 9 months ago
08071 Abstracts Collection -- Scheduling
Jane W.-S. Liu, Rolf H. Möhring, Kirk Pruhs
DAGSTUHL
2008
13 years 9 months ago
Uniprocessor EDF Feasibility is an Integer Problem
The research on real-time scheduling has mostly focused on the development of algorithms that allows to test whether the constraints imposed on the task execution (often expressed ...
Enrico Bini
DAGSTUHL
2008
13 years 9 months ago
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC
Mariana Luderitz Kolberg, Walter Krämer, Mich...