738 search results - page 72 / 148 » Prime Implicant Computation Using Satisfiability Algorithms |
MST
2002
14 years 9 months ago
2002
External sorting--the process of sorting a file that is too large to fit into the computer's internal memory and must be stored externally on disks--is a fundamental subroutin...
STOC
2003
ACM
15 years 10 months ago
2003
ACM
Boosting algorithms are procedures that "boost" low-accuracy weak learning algorithms to achieve arbitrarily high accuracy. Over the past decade boosting has been widely...
109
click to vote
STOC
2012
ACM
13 years 7 days ago
2012
ACM
We consider the problem of computing the k-sparse approximation to the discrete Fourier transform of an ndimensional signal. We show: • An O(k log n)-time randomized algorithm f...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
This paper describes how multiagent systems can be used to achieve robust software, one of the major goals of software engineering. The paper first positions itself within the sof...
IUI
2003
ACM
15 years 3 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...