6546 search results - page 999 / 1310 » Improving the Performance of the RISE Algorithm |
150
click to vote
AUSAI
2009
Springer
15 years 9 months ago
2009
Springer
Research on affective computing is growing rapidly and new applications are being developed more frequently. They use information about the affective/mental states of users to adap...
125
click to vote
DAC
2010
ACM
15 years 9 months ago
2010
ACM
In this paper we present a solver for Quantified Boolean Formulas (QBFs) which is based on And-Inverter Graphs (AIGs). We use a new quantifier elimination method for AIGs, which...
131
click to vote
ICDCS
2010
IEEE
15 years 9 months ago
2010
IEEE
—This paper presents the CONTRACT framework to address a fundamental deficiency of the IP network control plane, namely the lack of coordination between an IGP and other control...
156
click to vote
ICCBR
2007
Springer
15 years 9 months ago
2007
Springer
The performance of a Case-Based Reasoning system relies on the integrity of its case base but in real life applications the available data used to construct the case base invariabl...
166
click to vote
GLVLSI
2009
IEEE
15 years 9 months ago
2009
IEEE
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...