7167 search results - page 49 / 1434 » A Technique for Invariant Generation |
132
click to vote
ICANN
2007
Springer
16 years 7 days ago
2007
Springer
The hierarchical non-negative matrix factorization (HNMF) is a multilayer generative network for decomposing strictly positive data into strictly positive activations and base vect...
185
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper adresses the variance quantification problem for system identification based on the prediction error framework. The role of input and model class selection for the auto-...
175
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
One way to handle the perception of images that change in position (or size, orientation or deformation) is to invoke rapidly changing fiber projections to project images into a fi...
205
click to vote
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
159
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...