Sciweavers

7195 search results - page 720 / 1439
» On Computing Power
Sort
View
ICANN
2010
Springer
15 years 7 months ago
Solving Independent Component Analysis Contrast Functions with Particle Swarm Optimization
Independent Component Analysis (ICA) is a statistical computation method that transforms a random vector in another one whose components are independent. Because the marginal distr...
Jorge Igual, Jehad I. Ababneh, Raul Llinares, Juli...
HAPTICS
2007
IEEE
15 years 7 months ago
A Hybrid Actuation Approach for Haptic Devices
This paper presents a new actuation approach which combines the use of brakes, springs and mini motors to produce a safer and more energy efficient way to drive haptic devices. Th...
François Conti, Oussama Khatib, Charles Bau...
ECCB
2008
IEEE
15 years 7 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
CORR
2007
Springer
68views Education» more  CORR 2007»
15 years 7 months ago
An Improved Tight Closure Algorithm for Integer Octagonal Constraints
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
NCA
2008
IEEE
15 years 7 months ago
Improved transmission of vector quantized data over noisy channels
The conventional channel-optimized vector quantization (COVQ) is very powerful in the protection of vector quantization (VQ) data over noisy channels. However, it suffers from the ...
Chi-Sing Leung, John Sum, Herbert Chan