2233 search results - page 52 / 447 » On the Complexity of Theory Curbing |
112
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Complexity theory is a useful tool to study computational issues surrounding the elicitation of preferences, as well as the strategic manipulation of elections aggregating togethe...
163
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
110
click to vote
SIAMCOMP
2010
14 years 8 months ago
2010
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
115
click to vote
TCS
2010
14 years 8 months ago
2010
We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simula...
128
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
Abstract: We propose a novel probabilistic method for detection of objects in noisy images. The method uses results from percolation and random graph theories. We present an algori...