3591 search results - page 62 / 719 » Typing linear constraints |
146
click to vote
VRST
2005
ACM
16 years 5 days ago
2005
ACM
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
191
click to vote
CONSTRAINTS
2010
15 years 6 months ago
2010
AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-fi...
169
click to vote
ENTCS
2006
15 years 6 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
166
click to vote
COCOON
2005
Springer
16 years 5 days ago
2005
Springer
We study the edge-connectivity survivable network design problem with an additional linear budget constraint. We give a strongly polynomial time (3, 3)-approximation algorithm for ...
169
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper develops a novel robust control method for linear systems subject to additive and bounded disturbances. The approach is based on constraint tightening method. The pr...