2316 search results - page 17 / 464 » The many forms of hypercomputation |
ASWEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Coupling is considered by many to be an important concept in measuring design quality. There is still much to be learned about which aspects of coupling affect design quality or o...
108
click to vote
CAV
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
134
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
Intelligence analysts grapple with many challenges, chief among them is the need for software support in storytelling, i.e., automatically ‘connecting the dots’ between dispar...
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
Despite ubiquitous claims that optical character recognition (OCR) is a "solved problem," many categories of documents continue to break modern OCR software such as docu...
ICMLA
2009
14 years 9 months ago
2009
For many ranking applications we would like to understand not only which items are top-ranked, but also why they are top-ranked. However, many of the best ranking algorithms (e.g....