1011 search results - page 72 / 203 » The three dimensions of proofs |
186
click to vote
ECOOP
1995
Springer
15 years 10 months ago
1995
Springer
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
155
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we study the performances of the NEW Unconstrained Optimization Algorithm (NEWUOA) with different numbers of interpolation points. NEWUOA is a trust region method, ...
166
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we demonstrate the adaptation of multimedia digital radio services in broadcast environments based on scalable multimedia documents. The authoring of our multimedia...
158
click to vote
ACL
2007
15 years 7 months ago
2007
On a multi-dimensional text categorization task, we compare the effectiveness of a feature based approach with the use of a stateof-the-art sequential learning technique that has ...
166
click to vote
ICINCO
2004
15 years 7 months ago
2004
This paper presents an Iterative Linear Quadratic Regulator (ILQR) method for locally-optimal feedback control of nonlinear dynamical systems. The method is applied to a musculo-s...