3994 search results - page 525 / 799 » A Linear Logical Framework |
157
click to vote
SIAMSC
2010
15 years 5 months ago
2010
This paper constructs extrapolated implicit-explicit time stepping methods that allow one to efficiently solve problems with both stiff and nonstiff components. The proposed meth...
171
click to vote
ICC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract This paper proposes an analytical method to evaluate the delay violation probability of traffic flows with statistical Quality-of-Service (QoS) guarantees in a Generalize...
217
click to vote
ICCV
2009
IEEE
15 years 5 months ago
2009
IEEE
In the context of variational image segmentation, we propose a new finite-dimensional implicit surface representation. The key idea is to span a subset of implicit functions with ...
203
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
We present a novel algorithm for automatically applying constrainable, L1-optimal camera paths to generate stabilized videos by removing undesired motions. Our goal is to compute ...
175
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
— Future power networks will be characterized by safe and reliable functionality against physical malfunctions and cyber attacks. This paper proposes a unified framework and adv...