1390 search results - page 34 / 278 » On the Algebraic Structure of Convergence |
ENTCS
2010
14 years 12 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
CPC
1998
14 years 11 months ago
1998
Deuber’s Theorem says that, given any m, p, c, r in N, there exist n, q, µ in N such that whenever an (n, q, cµ )-set is r-coloured, there is a monochrome (m, p, c)-set. This t...
102
click to vote
ISCAS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— A novel structure with direct inversion of a multipleinput multiple-output (MIMO) system is proposed in this paper. Based on this structure, 2 adaptive algorithms, LMS-...
CONSTRAINTS
2010
14 years 9 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
108
click to vote
ICML
2007
IEEE
16 years 19 days ago
2007
IEEE
Conditional log-linear models are a commonly used method for structured prediction. Efficient learning of parameters in these models is therefore an important problem. This paper ...