503 search results - page 81 / 101 » Verifying Quantitative Properties Using Bound Functions |
ESANN
2001
15 years 1 months ago
2001
In this article, a real-coded genetic algorithm (GA) is proposed capable of simultaneously optimizing the structure of a system (number of inputs, membership functions and rules) ...
NJC
2006
14 years 11 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
HVEI
2009
14 years 9 months ago
2009
We present the design of a spherical imaging system with the following properties: (i) A 4 field of view that enables it to "see" in all directions; (ii) a single center...
116
click to vote
SIGMOD
2010
ACM
15 years 17 hour ago
2010
ACM
Trajectory search has long been an attractive and challenging topic which blooms various interesting applications in spatial-temporal databases. In this work, we study a new probl...
ICML
2004
IEEE
16 years 19 days ago
2004
IEEE
Boosting is a popular approach for building accurate classifiers. Despite the initial popular belief, boosting algorithms do exhibit overfitting and are sensitive to label noise. ...