In this paper, we consider the recognition problem on the HHDS-free graphs, a class of homogeneously orderable graphs, and we show that it has polynomial time complexity. In partic...
: Wireless Local Area Networks (WLAN) do not only provide a means for wireless communication, they can also supply terminal positions to location-aware services and applications. T...
Michael Wallbaum, Andreas Dieckmann, Peter Russell...
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
Frances M. T. Brazier, Joeri Engelfriet, Jan Treur
We prove (for fixed k) that at least 1 k−1 (n 2 ) − O(n) equality tests and no more than 2 k (n 2 )+O(n) equality tests are needed in the worst case to determine whether a giv...
Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, S...
It is known that there exists a PCP characterization of NP where the verifier makes 3 queries and has a onesided error that is bounded away from 1; and also that 2 queries do not ...
Venkatesan Guruswami, Daniel Lewin, Madhu Sudan, L...