3995 search results - page 695 / 799 » Linearization of hybrid processes |
159
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper deals with the design of controllers for large-scale linear time-invariant multi-input multi-output systems, such as those that often arise in process control. We fo...
113
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— The parabigeminal nucleus (PBN) is known to estimate the retinal position error (RPE) of an intended target. Recently it has been discovered that PBN activity continues to enco...
142
click to vote
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we present a soft computing system developed to optimize the face milling operation under High Speed conditions in the manufacture of steel components like molds with...
132
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Gradient-domain compositing is an essential tool in computer vision and its applications, e.g., seamless cloning, panorama stitching, shadow removal, scene completion and...
136
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...