Sciweavers

3897 search results - page 280 / 780
» complexity 2010
Sort
View
ATAL
2010
Springer
15 years 6 months ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
TIT
2010
160views Education» more  TIT 2010»
15 years 1 months ago
Parameterized splitting systems for the discrete logarithm
Hoffstein and Silverman suggested the use of low Hamming weight product (LHWP) exponents to accelerate group exponentiation while maintaining the security level. With LHWP exponent...
Sungwook Kim, Jung Hee Cheon
EVOW
2010
Springer
15 years 9 months ago
Parallel Genetic Algorithm on the CUDA Architecture
Abstract. This paper deals with the mapping of the parallel islandbased genetic algorithm with unidirectional ring migrations to nVidia CUDA software model. The proposed mapping is...
Petr Pospichal, Jirí Jaros, Josef Schwarz
ICASSP
2010
IEEE
15 years 6 months ago
Texas Hold 'Em algorithms for distributed compressive sensing
This paper develops a new class of algorithms for signal recovery in the distributed compressive sensing (DCS) framework. DCS exploits both intra-signal and inter-signal correlati...
Stephen R. Schnelle, Jason N. Laska, Chinmay Hegde...
ICASSP
2010
IEEE
15 years 6 months ago
An online quasi-Newton algorithm for blind SIMO identification
In the last decade various time- and frequency-domain algorithms were derived to blindly identify acoustic systems. One of these algorithms is the multichannel Newton (MCN) algori...
Emanuel A. P. Habets, Patrick A. Naylor