Sciweavers

13553 search results - page 138 / 2711
» A Generalized Multi-View Approach
Sort
View
145
Voted
SPIN
2010
Springer
15 years 1 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
14 years 10 months ago
Generalized efficiency bounds in distributed resource allocation
Game theory is emerging as a popular tool for distributed control of multiagent systems. In order to take advantage of these game theoretic tools the interactions of the autonomous...
Jason R. Marden, Tim Roughgarden
JOTA
2011
98views more  JOTA 2011»
14 years 10 months ago
Generic Stability and Essential Components of Generalized KKM Points and Applications
We propose the definition of T-KKM points and consider generic stability of T-KKM mappings and essential components of sets of T-KKM points. As applications, using a unified appr...
Phan Quoc Khanh, Nguyen Hong Quan
CIDM
2011
IEEE
14 years 6 months ago
Partial generalized correlation for hyperspectral data
Abstract—A variational approach is proposed for the unsupervised assessment of attribute variability of high-dimensional data given a differentiable similarity measure. The key q...
Marc Strickert, Bjorn Labitzke, Volker Blanz
117
Voted
FSE
2007
Springer
101views Cryptology» more  FSE 2007»
15 years 9 months ago
Generalized Correlation Analysis of Vectorial Boolean Functions
We investigate the security of n-bit to m-bit vectorial Boolean functions in stream ciphers. Such stream ciphers have higher throughput than those using single-bit output Boolean f...
Claude Carlet, Khoongming Khoo, Chu-Wee Lim, Chuan...