Sciweavers

9842 search results - page 1624 / 1969
» Problem complexity
Sort
View
ECML
2003
Springer
16 years 21 days ago
Robust k-DNF Learning via Inductive Belief Merging
A central issue in logical concept induction is the prospect of inconsistency. This problem may arise due to noise in the training data, or because the target concept does not fit...
Frédéric Koriche, Joël Quinquet...
FM
2003
Springer
109views Formal Methods» more  FM 2003»
16 years 21 days ago
Certifying and Synthesizing Membership Equational Proofs
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
Grigore Rosu, Steven Eker, Patrick Lincoln, Jos&ea...
192
Voted
ICCS
2003
Springer
16 years 20 days ago
Self-Adapting Numerical Software and Automatic Tuning of Heuristics
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
Jack Dongarra, Victor Eijkhout
160
Voted
ICES
2003
Springer
88views Hardware» more  ICES 2003»
16 years 20 days ago
POEtic Tissue: An Integrated Architecture for Bio-inspired Hardware
It is clear to all, after a moments thought, that nature has much we might be inspired by when designing our systems, for example: robustness, adaptability and complexity, to name ...
Andrew M. Tyrrell, Eduardo Sanchez, Dario Floreano...
212
Voted
ILP
2003
Springer
16 years 20 days ago
Relational IBL in Music with a New Structural Similarity Measure
It is well known that many hard tasks considered in machine learning and data mining can be solved in an rather simple and robust way with an instance- and distance-based approach....
Asmir Tobudic, Gerhard Widmer
« Prev « First page 1624 / 1969 Last » Next »