Sciweavers

8486 search results - page 402 / 1698
» Ordered Enumeration Method
Sort
View
HYBRID
2003
Springer
16 years 21 days ago
Reachability Analysis of Nonlinear Systems Using Conservative Approximation
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),...
Eugene Asarin, Thao Dang, Antoine Girard
ICCS
2003
Springer
16 years 20 days ago
Implementation of a Grid-Enabled Problem Solving Environment in Matlab
In many areas of design search and optimisation one needs to utilize Computational Fluid Dynamics (CFD) methods in order to obtain numerical solution of the flow field in and/or ...
M. Hakki Eres, Graeme E. Pound, Zhuoan Jiao, Jasmi...
DELTA
2010
IEEE
16 years 17 days ago
Least-squares Optimal Interpolation for Fast Image Super-resolution
—Image super-resolution is generally regarded as consisting of three steps – image registration, fusion, and deblurring. This paper presents a novel technique for resampling a ...
Andrew Gilman, Donald G. Bailey, Stephen Marsland
JAVA
1999
Springer
15 years 11 months ago
Design, Implementation, and Evaluation of Optimizations in a Just-in-Time Compiler
The Java language incurs a runtime overhead for exception checks and object accesses without an interior pointer in order to ensure safety. It also requires type inclusion test, d...
Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasu...
SIGGRAPH
1998
ACM
15 years 11 months ago
Layered Depth Images
In this paper we present a set of efficient image based rendering methods capable of rendering multiple frames per second on a PC. The first method warps Sprites with Depth repr...
Jonathan Shade, Steven J. Gortler, Li-wei He, Rich...