10608 search results - page 1796 / 2122 » Complexity of O'Hara's Algorithm |
141
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
155
click to vote
HYBRID
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
155
click to vote
ICS
2003
Tsinghua U.
2003
Tsinghua U.
Roccom: an object-oriented, data-centric software integration framework for multiphysics simulations
15 years 10 months ago
We describe an object-oriented software integration frameccom, abstracted from our five years of experience in developing a complex, integrated code for rocket simulation. Roccom...
151
click to vote
IMR
2003
Springer
15 years 10 months ago
2003
Springer
We present a method for isotropic remeshing of arbitrary genus surfaces. The method is based on a mesh adaptation process, namely, a sequence of local modifications performed on ...
266
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we propose a novel type of explicit image filter - guided filter. Derived from a local linear model, the guided filter generates the filtering output b...