3690 search results - page 316 / 738 » Computation with classical sequents |
134
click to vote
JEA
2010
15 years 10 days 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...
188
click to vote
CVPR
2011
IEEE
14 years 9 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...
139
click to vote
ICASSP
2011
IEEE
14 years 9 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 ...
257
click to vote
CEC
2010
IEEE
14 years 9 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. ...
178
click to vote
CAGD
2011
14 years 9 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...