396 search results - page 25 / 80 » Combining decision procedures for the reals |
108
click to vote
NIME
2004
Springer
15 years 6 months ago
2004
Springer
Real-time interactive software can be difficult to construct and debug. Aura is a software platform to facilitate highly interactive systems that combine audio signal processing, ...
342
click to vote
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
118
click to vote
KDD
2000
ACM
15 years 5 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
108
click to vote
VISUALIZATION
2005
IEEE
15 years 7 months ago
2005
IEEE
We present Build-by-Number, a technique for quickly designing architectural structures that can be rendered photorealistically at interactive rates. We combine image-based capturi...
122
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: In gene expression analysis, statistical tests for differential gene expression provide lists of candidate genes having, individually, a sufficiently low p-value. Howe...