76 search results - page 13 / 16 » Definition of Fuzzy Pareto-Optimality by Using Possibility T... |
109
Voted
FMCAD
2006
Springer
15 years 3 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
113
click to vote
IJON
2007
15 years 4 days ago
2007
Unlike the conventional neural network theories and implementations, Huang et al. [Universal approximation using incremental constructive feedforward networks with random hidden n...
222
click to vote
SIGMOD
2009
ACM
16 years 13 days ago
2009
ACM
Empowering users to access databases using simple keywords can relieve the users from the steep learning curve of mastering a structured query language and understanding complex a...
107
click to vote
AUTONOMICS
2008
ACM
15 years 2 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
88
Voted
JFP
2006
15 years 5 days ago
2006
A huge discrepancy between theory and practice exists in one popular application area of functional programming--spreadsheets. Although spreadsheets are the most frequently used (...