9521 search results - page 435 / 1905 » Compiling with continuations, continued |
180
click to vote
CONSTRAINTS
2010
15 years 2 months ago
2010
This paper considers constraint propagation methods for continuous constraint satisfaction problems consisting of linear and quadratic constraints. All methods can be applied after...
137
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
151
click to vote
CG
2011
Springer
14 years 11 months ago
2011
Springer
This paper presents a robust and blind watermarking algorithm for threedimensional (3D) meshes. The watermarking primitive is an intrinsic 3D shape descriptor: the analytic and co...
140
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper we consider disturbance decoupling problems for switched linear systems. We will provide necessary and sufficient conditions for three different versions of disturban...
132
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- Switched systems evolve over a sequence of continuous modes of operation, transitioning between modes in a discrete manner. Assuming a mode sequence is known, the evolut...