18155 search results - page 262 / 3631 » Point |
154
click to vote
ISMVL
2009
IEEE
16 years 27 days ago
2009
IEEE
This paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to monotone elementary...
238
click to vote
FOSAD
2009
Springer
16 years 25 days ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
198
Voted
ISNN
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Nonlinear component analysis is a popular nonlinear feature extraction method. It generally uses eigen-decomposition technique to extract the principal components. But th...