Sciweavers

3536 search results - page 204 / 708
» Local dependent components
Sort
View
117
Voted
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 7 months ago
Asynchronous gossip algorithms for stochastic optimization
Abstract— We consider a distributed multi-agent network system where the goal is to minimize an objective function that can be written as the sum of component functions, each of ...
Sundhar Srinivasan Ram, Angelia Nedic, Venugopal V...
126
Voted
HICSS
2007
IEEE
145views Biometrics» more  HICSS 2007»
15 years 9 months ago
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
Richard C. Linger, Mark G. Pleszkoch, Luanne Burns...
FROCOS
2005
Springer
15 years 8 months ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi
125
Voted
ICASSP
2011
IEEE
14 years 6 months ago
An unsupervised algorithm for hybrid/morphological signal decomposition
The main contribution presented here is an adaptive/unsupervised iterative thresholding algorithm for sparse representation of signals which can be modeled as the sum of two compo...
Matthieu Kowalski, Thomas Rodet
SIGSOFT
2005
ACM
16 years 3 months ago
Visual tool for generative programming
A way of combining object-oriented and structural paradigms of software composition is demonstrated in a tool for generative programming. Metaclasses are introduced that are compon...
Pavel Grigorenko, Ando Saabas, Enn Tyugu