Sciweavers

1975 search results - page 315 / 395
» Property analysis and design understanding
Sort
View
AUTOMATICA
2008
115views more  AUTOMATICA 2008»
15 years 6 months ago
Distributed algorithms for reaching consensus on general functions
This paper presents analysis and design results for distributed consensus algorithms in multi-agent networks. We consider continuous consensus functions of the initial state of th...
Jorge Cortés
JMLR
2006
131views more  JMLR 2006»
15 years 6 months ago
On Representing and Generating Kernels by Fuzzy Equivalence Relations
Kernels are two-placed functions that can be interpreted as inner products in some Hilbert space. It is this property which makes kernels predestinated to carry linear models of l...
Bernhard Moser
TII
2008
98views more  TII 2008»
15 years 6 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
CGF
2002
95views more  CGF 2002»
15 years 6 months ago
Intrinsic Parameterizations of Surface Meshes
Parameterization of discrete surfaces is a fundamental and widely-used operation in graphics, required, for instance, for texture mapping or remeshing. As 3D data becomes more and...
Mathieu Desbrun, Mark Meyer, Pierre Alliez
MM
2006
ACM
203views Multimedia» more  MM 2006»
16 years 5 days ago
Learning image manifolds by semantic subspace projection
In many image retrieval applications, the mapping between highlevel semantic concept and low-level features is obtained through a learning process. Traditional approaches often as...
Jie Yu, Qi Tian