3994 search results - page 617 / 799 » A Linear Logical Framework |
152
click to vote
SIAMJO
2002
15 years 6 months ago
2002
Most local convergence analyses of the sequential quadratic programming (SQP) algorithm for nonlinear programming make strong assumptions about the solution, namely, that the activ...
169
click to vote
TIP
2002
15 years 6 months ago
2002
Dynamic magnetic resonance imaging (MRI) refers to the acquisition of a sequence of MRI images to monitor temporal changes in tissue structure. In this paper we present a method fo...
179
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
187
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Of particular concern in requirements engineering is the selection of requirements to implement in the next release of a system. To that end, there has been recent work o...
240
click to vote
ESA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study an online version of Fisher's linear case market. In this market there are m buyers and a set of n dividable goods to be allocated to the buyers. The utilit...