13489 search results - page 603 / 2698 » Operating System |
170
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Sensory inputs such as visual images or audio spectrograms can act as symbols in a new cognitive model. The stability of direct image association operators allows the discrete b...
210
click to vote
NAACL
2010
15 years 5 months ago
2010
Factorization is the operation of transforming a production in a Linear Context-Free Rewriting System (LCFRS) into two simpler productions by factoring out a subset of the nonterm...
193
click to vote
NA
2010
15 years 5 months ago
2010
We describe a fast solver for linear systems with reconstructible Cauchylike structure, which requires O(rn2 ) floating point operations and O(rn) memory locations, where n is th...
179
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
173
click to vote
SIAMCO
2010
15 years 5 months ago
2010
We consider a network consisting of n interconnected nonlinear subsystems. For each subsystem an ISS Lyapunov function is given that treats the other subsystems as independent inpu...