963 search results - page 33 / 193 » On the decomposition of rational functions |
ENTCS
2006
13 years 8 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
ICCV
1998
IEEE
14 years 10 months ago
1998
IEEE
A new cascade basis reduction method of computing the optimal least-squares set of basis functions to steer a given function locally is presented. The method combines the Lie grou...
ECOOPW
1998
Springer
14 years 27 days ago
1998
Springer
Abstract. We introduce a collection of high performance kernels for basic linear algebra. The kernels encapsulate small xed size computations in order to provide building blocks fo...
ATAL
2006
Springer
14 years 13 days ago
2006
Springer
Notions of fairness have recently received increased attention in the context of resource allocation problems, pushed by diverse applications where not only pure utilitarian effic...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Modeling the behavior of imperfect agents from a small number of observations is a difficult, but important task. In the singleagent decision-theoretic setting, inverse optimal co...