1256 search results - page 220 / 252 » Learning to Reason |
104
Voted
INTERACT
1997
15 years 1 months ago
1997
ABSTRACT Do developers use proven usability techniques like user involvement, usability testing, and iterative design in industrial practice? Based on inside knowledge of many diff...
87
Voted
ISKO
1997
15 years 1 months ago
1997
This paper was prepared for a lecture at a recent meeting of the German Chapter of ISKO devoted to Wissensorganisation mit Multimedialen Techniken [Knowledge Organization with Mul...
83
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
129
click to vote
CONSTRAINTS
2008
15 years 17 days ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...
103
Voted
CORR
2006
Springer
15 years 15 days ago
2006
Springer
We present a novel approach to estimate the time delay between light curves of multiple images in a gravitationally lensed system, based on Kernel methods in the context of machine...