11752 search results - page 180 / 2351 » Those |
164
click to vote
IROS
2009
IEEE
16 years 8 days ago
2009
IEEE
— By combining a low-order model of forecast errors, the extended Kalman filter, and classical continuous optimization, we develop an integrated methodology for planning mobile ...
114
click to vote
IWPC
2009
IEEE
16 years 8 days ago
2009
IEEE
Maintenance engineers need to understand component dependencies in a system to successfully modify component implementations. Interaction dependencies are especially hard to under...
155
click to vote
TPHOL
2009
IEEE
16 years 8 days ago
2009
IEEE
Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...
141
Voted
CAIP
2009
Springer
16 years 6 days ago
2009
Springer
This paper compares the original implementation of the trilateral filter with two proposed speed improvements. One is using simple look-up-tables, and leads to exactly the same re...
155
click to vote
LFCS
2009
Springer
16 years 5 days ago
2009
Springer
The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissib...