1716 search results - page 341 / 344 » Proving Conditional Termination |
130
click to vote
TVCG
2010
15 years 1 months ago
2010
—Designing rotational symmetry fields on surfaces is an important task for a wide range of graphics applications. This work introduces a rigorous and practical approach for auto...
134
click to vote
CORR
2010
Springer
15 years 18 days ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
121
click to vote
FOCM
2010
15 years 17 days ago
2010
This paper presents a numerical compression strategy for the boundary integral equation of acoustic scattering in two dimensions. These equations have oscillatory kernels that we ...
163
click to vote
AUTOMATICA
2011
14 years 10 months ago
2011
We present a framework to solve a finite-time optimal control problem for parabolic partial differential equations (PDEs) with diffusivity-interior actuators, which is motivate...
163
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract—The capacity of multiuser networks has been a longstanding problem in information theory. Recently, Avestimehr et al. have proposed a deterministic network model to appr...