6045 search results - page 102 / 1209 » Computable Linearizations of Well-partial-orderings |
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
ract interpretation of programs relates the exact semantics of a programming language to an approximate semantics that can be effectively computed. We show that, by specifying ope...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— This article addresses the fast solution of a Quadratic Program underlying a Linear Model Predictive Control scheme that generates walking motions. We introduce an algorithm wh...
GRC
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose a linear control model for gene intervention in a genetic regulatory network. At each time step, finite controls are allowed to drive the network states...
ESA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We show that optimal alphabetic binary trees can be constructed in O(n) time if the elements of the initial sequence are drawn from a domain that can be sorted in linear ...
ALGORITHMICA
1999
13 years 7 months ago
1999
We describe a coarse-grain parallel software system for the homogeneous solution of linear systems. Our solutions are symbolic, i.e., exact rather than numerical approximations. O...