6045 search results - page 262 / 1209 » Computable Linearizations of Well-partial-orderings |
218
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
222
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
221
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
The study of constraint satisfaction problems definable in various fragments of Datalog has recently gained considerable importance. We consider constraint satisfaction problems ...
201
click to vote
QEST
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...
207
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— This work addresses the problem of selecting a subset of basis functions for a model linear in the parameters for regression tasks. Basis functions from a set of candidates are...