396 search results - page 47 / 80 » Combining decision procedures for the reals |
115
click to vote
KES
2004
Springer
15 years 7 months ago
2004
Springer
A spline-based modification of the previously developed Neuro-Fuzzy Kolmogorov's Network (NFKN) is proposed. In order to improve the approximation accuracy, cubic B-splines ar...
131
click to vote
CRIWG
2000
15 years 2 months ago
2000
This paper presents the concept of a collaborative computer integrated classroom (CiC) specially designed to achieve a unique combination of interactive and collaborative software...
109
click to vote
SIMPRA
2008
15 years 1 months ago
2008
This article summarizes `Generalized Response Surface Methodology'(GRSM), extending Box and Wilson's `Response Surface Methodology'(RSM). GRSM allows multiple rando...
96
Voted
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
TAPAS is a suite of libraries dedicated to FO (R, Z, +, ≤). The suite provides (1) the application programming interface GENEPI for this logic with encapsulations of many classic...
109
click to vote
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...