1930 search results - page 359 / 386 » Learning to Solve QBF |
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...
NIPS
2008
13 years 9 months ago
2008
CAPTCHAs are computer-generated tests that humans can pass but current computer systems cannot. CAPTCHAs provide a method for automatically distinguishing a human from a computer ...
NIPS
2007
13 years 9 months ago
2007
Automatic relevance determination (ARD) and the closely-related sparse Bayesian learning (SBL) framework are effective tools for pruning large numbers of irrelevant features leadi...
AAAI
2004
13 years 9 months ago
2004
Traditionally, text classifiers are built from labeled training examples. Labeling is usually done manually by human experts (or the users), which is a labor intensive and time co...
IADIS
2004
13 years 9 months ago
2004
Argument visualisation refers to graphical or other non-verbal means of making reasoning chains and conclusions explicit. Constructing argument diagrams is one way to visualise ar...