8810 search results - page 45 / 1762 » Open. Closed. Open |
137
click to vote
RTA
2000
Springer
15 years 8 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...
125
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— In this paper we investigate the problem of designing an input signal for a Multi-Input Multi-Output plant to minimize a control-oriented criterion. By employing Ljungâ...
144
click to vote
NIPS
2008
15 years 5 months ago
2008
In this theoretical contribution we provide mathematical proof that two of the most important classes of network learning - correlation-based differential Hebbian learning and rew...
124
click to vote
ENTCS
2007
15 years 4 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
146
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
This paper presents a continuation of the study on a mathematical morphology based on left-continuous conjunctive uninorms given in [1]. Experimental results are displayed using th...