2989 search results - page 86 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
IJCAI
2001
14 years 11 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
ICPR
2006
IEEE
15 years 11 months ago
2006
IEEE
Generic camera modeling using raxels and associated methods was recently introduced in Computer Vision. The main advantage is the applicability for any camera model, which contras...
AIME
2007
Springer
15 years 4 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
77
Voted
ACSC
2005
IEEE
15 years 3 months ago
2005
IEEE
The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples ...
TYPES
2000
Springer
15 years 1 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...