Sciweavers

4934 search results - page 150 / 987
» complexity 2008
Sort
View
CSL
2008
Springer
15 years 6 months ago
Recursion Schemata for NCk
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
Guillaume Bonfante, Reinhard Kahle, Jean-Yves Mari...
CORR
2008
Springer
111views Education» more  CORR 2008»
15 years 4 months ago
Product theorems via semidefinite programming
The tendency of semidefinite programs to compose perfectly under product has been exploited many times in complexity theory: for example, by Lov
Troy Lee, Rajat Mittal
CLIMA
2008
15 years 5 months ago
Easy Yet Hard: Model Checking Strategies of Agents
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
Wojciech Jamroga
CDES
2008
87views Hardware» more  CDES 2008»
15 years 5 months ago
Finding Minimal ESCT Expressions for Boolean Functions with Weight of up to 7
In this paper an algorithm is proposed for the synthesis and exact minimization of ESCT (Exclusive or Sum of Complex Terms) expressions for Boolean functions of up to seven comple...
Dimitrios Voudouris, Marinos Sampson, George K. Pa...
HIS
2008
15 years 5 months ago
Genetic-Based Synthetic Data Sets for the Analysis of Classifiers Behavior
In this paper, we highlight the use of synthetic data sets to analyze learners behavior under bounded complexity. We propose a method to generate synthetic data sets with a specif...
Núria Macià, Albert Orriols-Puig, Es...