1247 search results - page 92 / 250 » Reasoning about Function Objects |
111
Voted
HYBRID
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
119
Voted
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— We introduce an optimization framework called prioritized optimization control, in which a nested sequence of objectives are optimized so as not to conflict with higher-priori...
107
Voted
ICPR
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper describes a new approach to neural network implementation of photometric stereo for a rotational object with non-uniform reflectance factor. Three input images are acqu...
127
Voted
VMCAI
2007
Springer
15 years 8 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
114
Voted
IJCAI
1989
15 years 3 months ago
1989
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...