Sciweavers

9359 search results - page 3 / 1872
» Generalization Algorithms for Second-Order Terms
Sort
View
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
14 years 9 days ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold
ISIPTA
2003
IEEE
124views Mathematics» more  ISIPTA 2003»
13 years 10 months ago
Decision Making with Imprecise Second-Order Probabilities
In this paper we consider decision making under hierarchical imprecise uncertainty models and derive general algorithms to determine optimal actions. Numerical examples illustrate...
Lev V. Utkin
ISSAC
2004
Springer
88views Mathematics» more  ISSAC 2004»
13 years 10 months ago
Non-liouvillian solutions for second order Linear ODEs
There exist sound literature and algorithms for computing Liouvillian solutions for the important problem of linear ODEs with rational coefficients. Taking as sample the 363 secon...
L. Chan, E. S. Cheb-Terrab
IJCNN
2006
IEEE
13 years 11 months ago
Sparse Optimization for Second Order Kernel Methods
— We present a new optimization procedure which is particularly suited for the solution of second-order kernel methods like e.g. Kernel-PCA. Common to these methods is that there...
Roland Vollgraf, Klaus Obermayer
TSMC
2010
13 years 22 hour ago
Second-Order Consensus for Multiagent Systems With Directed Topologies and Nonlinear Dynamics
Abstract--This paper considers a second-order consensus problem for multiagent systems with nonlinear dynamics and directed topologies where each agent is governed by both position...
Wenwu Yu, Guanrong Chen, Ming Cao, Jürgen Kur...