3690 search results - page 316 / 738 » Computation with classical sequents |
159
click to vote
JEA
2010
15 years 1 months ago
2010
An upward drawing of a DAG G is a drawing of G in which all edges are drawn as curves increasing monotonically in the vertical direction. In this paper, we present a new approach f...
216
Voted
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
A new family of boosting algorithms, denoted TaylorBoost, is proposed. It supports any combination of loss function and first or second order optimization, and includes classical...
157
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Brain-Computer Interfaces (BCIs) allow a user to control a computer application by brain activity as acquired, e.g., by EEG. A standard step in a BCI system is to project the EEG ...
289
click to vote
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
— This paper presents Evolutionary Optimization Tool (Evoptool), an optimization toolkit that implements a set of meta-heuristics based on the Evolutionary Computation paradigm. ...
195
Voted
CAGD
2011
14 years 10 months ago
2011
This work concerns the approximation of the shape operator of smooth surfaces in R3 from polyhedral surfaces. We introduce two generalized shape operators that are vector-valued l...