260 search results - page 17 / 52 » Hardness of Parameterized Resolution |
APAL
2008
13 years 7 months ago
2008
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead ...
ICIS
1998
13 years 9 months ago
1998
The debate between "hard" positivist and "soft" interpretivist research approaches has been the subject of much discussion in the IS field. Typically, the deba...
SIGMOD
2010
ACM
13 years 7 months ago
2010
ACM
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we initiate the study of the AND-OR directed feedback vertex set problem from the viewpoint of approximation algorithms. This AND-OR feedback vertex set problem is m...
GRAPHITE
2007
ACM
13 years 11 months ago
2007
ACM
Because of their geometric complexity, high resolution 3D models, either designed in high-end modeling packages or acquired with range scanning devices, cannot be directly used in...