Sciweavers

13603 search results - page 110 / 2721
» On the Complexity of Computing Treelength
Sort
View
AGI
2011
13 years 27 days ago
What Makes a Brain Smart? Reservoir Computing as an Approach for General Intelligence
Abstract. Recurrent connectivity, balanced between excitation and inhibition, is a general principle of cortical connectivity. We propose that balanced recurrence can be achieved b...
Janelle Szary, Bryan Kerster, Christopher T. Kello
PC
2000
120views Management» more  PC 2000»
13 years 9 months ago
Real-time sonar beamforming on high-performance distributed computers
Rapid advancements in acoustical beamforming techniques for array signal processing are producing algorithms with increased levels of computational complexity. Concomitantly, auto...
Alan D. George, Jeff Markwell, Ryan Fogarty
JUCS
2010
106views more  JUCS 2010»
13 years 7 months ago
Near Eyes-Free Chauffeur Computer Interaction with Chording and Visual Text Mnemonics
: Modern cars are equipped with advanced technology requiring cognitively complex operation that is reliant on the user’s visual attention. It is therefore hazardous for drivers ...
Frode Eika Sandnes, Yo-Ping Huang, Yueh-Min Huang
SAGT
2010
Springer
202views Game Theory» more  SAGT 2010»
13 years 7 months ago
Computing Stable Outcomes in Hedonic Games
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
Martin Gairing, Rahul Savani
FSTTCS
2010
Springer
13 years 7 months ago
On extracting computations from propositional proofs (a survey)
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
Pavel Pudlák