18090 search results - page 33 / 3618 » Computing by Only Observing |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— This study describes a method of estimating the intrinsic parameters of a perspective camera. In previous calibration methods for perspective cameras, the intrinsic and extrins...
APN
2008
Springer
13 years 10 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
AAAI
2004
13 years 10 months ago
2004
Reactive planning using assumptions is a well-known approach to tackle complex planning problems for nondeterministic, partially observable domains. However, assumptions may be wr...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this work we analyze the controllability and observability properties of several interconnection configurations such as the chain topology and cyclic topology as well as co...
ENTCS
2000
13 years 8 months ago
2000
Haskell has long needed a debugger. Although there has been much research into the topic of debugging lazy functional programs, no robust tool has yet come from the Haskell commun...