1449 search results - page 138 / 290 » Finiteness results for sigmoidal |
164
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
183
click to vote
INFOCOM
1996
IEEE
15 years 10 months ago
1996
IEEE
: We consider the combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) under nonstationary conditions. A fluid flow model ...
189
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
In the literature there are several CCS-like process calculi differing in the constructs for the specification of infinite behavior and in the scoping rules for channel names. In t...
156
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a f...
159
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. While the efficiency and scalability of modern SAT technology offers an intriguing alternative approach to constraint solving via translation to SAT, previous work has mo...