436 search results - page 74 / 88 » Decomposing constraint systems: equivalences and computation... |
97
Voted
FOCM
2002
14 years 11 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...
122
click to vote
CGA
2011
14 years 3 months 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...
91
Voted
PDP
2009
IEEE
15 years 6 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...
106
click to vote
SIGGRAPH
2010
ACM
15 years 4 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...
89
Voted
CONCUR
2006
Springer
15 years 3 months 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...