29908 search results - page 270 / 5982 » On the complexity of communication complexity |
187
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with n...
160
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
149
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces a new method for generating test data that combines the benefits of equivalence partitioning, boundary value analysis and cause-effect analysis. It is suitab...
158
click to vote
ISBI
2008
IEEE
16 years 1 months ago
2008
IEEE
A stratification and manifold learning approach for analyzing High Angular Resolution Diffusion Imaging (HARDI) data is introduced in this paper. HARDI data provides highdimensio...
178
click to vote
ICDAR
2007
IEEE
16 years 29 days ago
2007
IEEE
Document image segmentation algorithms primarily aim at separating text and graphics in presence of complex layouts. However, for many non-Latin scripts, segmentation becomes a ch...