Sciweavers

14774 search results - page 295 / 2955
» Computational complexity and evolutionary computation
Sort
View
PC
2000
120views Management» more  PC 2000»
15 years 6 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»
15 years 5 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»
15 years 5 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
15 years 4 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
IBERAMIA
2010
Springer
15 years 4 months ago
A Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
Teresa Alsinet, Ramón Béjar, Lluis G...