436 search results - page 74 / 88 » Decomposing constraint systems: equivalences and computation... |
FOCM
2002
13 years 8 months ago
2002
This paper is concerned with the design and analysis of adaptive wavelet methods for systems of operator equations. Its main accomplishment is to extend the range of applicability...
CGA
2011
13 years 10 days ago
2011
We present a data-driven algorithm for interactive 3D human character posing. We formulate the problem in a maximum a posteriori (MAP) framework by combining the user’s inputs w...
PDP
2009
IEEE
14 years 3 months ago
2009
IEEE
Existing approaches for modelling the Internet delay space predict end-to-end delays between two arbitrary hosts as static values. Further, they do not capture the characteristics...
SIGGRAPH
2010
ACM
14 years 1 months ago
2010
ACM
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...
CONCUR
2006
Springer
14 years 14 days ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...