5084 search results - page 329 / 1017 » Proving Possibility Properties |
177
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
The solvability of the regulator equation for a general nonlinear system is discussed in this paper by using geometric method. The `feedback' part of the regulator equation, ...
163
click to vote
JGT
2010
15 years 5 months ago
2010
While finite cop-win finite graphs possess a good structural characterization, none is known for infinite cop-win graphs. As evidence that such a characterization might not exis...
158
click to vote
JOCN
2010
15 years 5 months ago
2010
■ Recent work showed that short-term memory (STM) is selectively reduced in GluR1 knockout mice. This raises the possibility that a form of synaptic modification dependent on Gl...
178
click to vote
JVCA
2010
15 years 5 months ago
2010
In a context of interactive applications, adapting motion capture data to new situations or producing variants of them are known as non trivial tasks. We propose an original metho...
155
click to vote
MTPP
2010
15 years 4 months ago
2010
Abstract. The code generator in a compiler attempts to match a subject tree against a collection of tree-shaped patterns for generating instructions. Tree-pattern matching may be c...