3317 search results - page 536 / 664 » Strategies in Rigid-Variable Methods |
84
Voted
AUTOMATICA
2008
15 years 1 months ago
2008
A consensus problem consists of finding a distributed control strategy that brings the state or output of a group of agents to a common value, a consensus point. In this paper, we...
CGF
2010
15 years 1 months ago
2010
Geometry processing applications frequently rely on octree structures, since they provide simple and efficient hierarchies for discrete data. However, octrees do not guarantee dire...
116
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Nonnegative Matrix Factorization (NMF) is the problem of approximating a nonnegative matrix with the product of two low-rank nonnegative matrices and has been shown to be particul...
BIOINFORMATICS
2006
15 years 1 months ago
2006
Motivation: The need for normalization in microarray experiments has been well documented in the literature. Currently, most analysis methods treat normalization and analysis as a...
98
Voted
ENTCS
2006
15 years 1 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...