Sciweavers

7296 search results - page 294 / 1460
» informs 2010
Sort
View
AICOM
2010
129views more  AICOM 2010»
15 years 6 months ago
Automated theorem proving in quasigroup and loop theory
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...
J. D. Phillips, David Stanovský
AUTOMATICA
2010
108views more  AUTOMATICA 2010»
15 years 6 months ago
Robust output feedback sampling control based on second-order sliding mode
This paper proposes a new second order sliding mode output feedback controller. This latter is developped in the case of finite sampling frequency and is using only output informa...
Franck Plestan, Emmanuel Moulay, Alain Glumineau, ...
AUTOMATICA
2010
218views more  AUTOMATICA 2010»
15 years 6 months ago
Gossip consensus algorithms via quantized communication
This paper considers the average consensus problem on a network of digital links, and proposes algorithms based on pairwise "gossip" communications and updates. Through ...
Ruggero Carli, Fabio Fagnani, Paolo Frasca, Sandro...
CGF
2010
112views more  CGF 2010»
15 years 6 months ago
Evaluation of Cluster Identification Performance for Different PCP Variants
Parallel coordinate plots (PCPs) are a well-known visualization technique for viewing multivariate data. In the past, various visual modifications to PCPs have been proposed to fa...
Danny Holten, Jarke J. van Wijk
CGF
2010
127views more  CGF 2010»
15 years 6 months ago
On Discrete Killing Vector Fields and Patterns on Surfaces
Symmetry is one of the most important properties of a shape, unifying form and function. It encodes semantic information on one hand, and affects the shape's aesthetic value ...
Mirela Ben-Chen, Adrian Butscher, Justin Solomon, ...