Sciweavers

4949 search results - page 768 / 990
» Consistency and Set Intersection
Sort
View
AUTOMATICA
2006
103views more  AUTOMATICA 2006»
15 years 6 months ago
A universal iterative learning stabilizer for a class of MIMO systems
Design of iterative learning control (ILC) often requires some prior knowledge about a system's control matrix. In some applications, such as uncalibrated visual servoing, th...
Ping Jiang, Huadong Chen, Leon C. A. Bamforth
IEE
2008
115views more  IEE 2008»
15 years 6 months ago
Faithful mapping of model classes to mathematical structures
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
Ádám Darvas, Peter Müller
CAI
2006
Springer
15 years 6 months ago
Symbolic Explanation of Similarities in Case-based Reasoning
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
Eva Armengol, Enric Plaza
CCE
2006
15 years 6 months ago
Computation of equilibria in models of flue gas washer plants
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...
Wolfgang Desch, Karin Horn, Georg Propst
CGF
2006
136views more  CGF 2006»
15 years 6 months ago
Cache-Efficient Layouts of Bounding Volume Hierarchies
We present a novel algorithm to compute cache-efficient layouts of bounding volume hierarchies (BVHs) of polygonal models. Our approach does not make any assumptions about the cac...
Sung-Eui Yoon, Dinesh Manocha