Sciweavers

281 search results - page 11 / 57
» A Method for Invariant Generation for Polynomial Continuous ...
Sort
View
SMC
2010
IEEE
157views Control Systems» more  SMC 2010»
13 years 6 months ago
Business Continuity management system that supports progress management and operational planning
— Japan is known as an “earthquake country” and hence both companies and governments require an operation management method called BCM to ensure that operations and services ...
Seigo Kawamura, Yoshio Nakatani
CORR
2011
Springer
172views Education» more  CORR 2011»
13 years 2 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
FGR
2006
IEEE
169views Biometrics» more  FGR 2006»
13 years 11 months ago
Local Linear Regression (LLR) for Pose Invariant Face Recognition
The variation of facial appearance due to the viewpoint (/pose) degrades face recognition systems considerably, which is well known as one of the bottlenecks in face recognition. ...
Xiujuan Chai, Shiguang Shan, Xilin Chen, Wen Gao
TSP
2010
13 years 2 months ago
Sampling from a system-theoretic viewpoint part II: noncausal solutions
This paper puts to use concepts and tools introduced in Part I to address a wide spectrum of noncausal sampling and reconstruction problems. Particularly, we follow the systemtheor...
Gjerrit Meinsma, Leonid Mirkin
IJBC
2010
132views more  IJBC 2010»
13 years 2 months ago
Construction of Fractal Interpolation Surfaces on Rectangular Grids
We present a general method of generating continuous fractal interpolation surfaces by iterated function systems on an arbitrary data set over rectangular grids and estimate their...
Wolfgang Metzler, Chol Hui Yun