Sciweavers

3614 search results - page 343 / 723
» Numerical Computing with MATLAB
Sort
View
EUROPAR
2007
Springer
16 years 29 days ago
Adaptable Distance-Based Decision-Making Support in Dynamic Cross-Grid Environment
The grid environment presents numerous opportunities for business applications as well as for scientific ones. Nevertheless the current trends seem to lead to several independent ...
Julien Gossa, Jean-Marc Pierson, Lionel Brunie
156
Voted
FMCAD
2007
Springer
16 years 29 days ago
Lifting Propositional Interpolants to the Word-Level
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
Daniel Kroening, Georg Weissenbacher
GECCO
2007
Springer
212views Optimization» more  GECCO 2007»
16 years 29 days ago
A hybrid evolutionary programming algorithm for spread spectrum radar polyphase codes design
This paper presents a hybrid evolutionary programming algorithm to solve the spread spectrum radar polyphase code design problem. The proposed algorithm uses an Evolutionary Progr...
Ángel M. Pérez-Bellido, Sancho Salce...
HYBRID
2007
Springer
16 years 29 days ago
Approximation of the Joint Spectral Radius of a Set of Matrices Using Sum of Squares
We provide an asymptotically tight, computationally efficient approximation of the joint spectral radius of a set of matrices using sum of squares (SOS) programming. The approach i...
Pablo A. Parrilo, Ali Jadbabaie
ICA
2007
Springer
16 years 29 days ago
Comparative Speed Analysis of FastICA
FastICA is arguably one of the most widespread methods for independent component analysis. We focus on its deflation-based implementation, where the independent components are ext...
Vicente Zarzoso, Pierre Comon