5752 search results - page 209 / 1151 » Informative Labeling Schemes |
117
Voted
EUROCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding ...
129
Voted
EDBTW
2010
Springer
15 years 10 months ago
2010
Springer
Requirements for a traffic monitoring system can be very demanding as both privacy and performance aspects have to be taken into account jointly. Moreover, the legislation sets fo...
180
Voted
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
Ad-hoc networks consist of a set of mobile hosts that communicate using wireless links, without the use of other communication support facilities (such as base stations). The topo...
147
Voted
MOBISYS
2004
ACM
16 years 3 months ago
2004
ACM
Wireless data broadcast has received a lot of attention from industries and academia in recent years. Access efficiency and energy conservation are two critical performance concer...
148
Voted
AGP
1995
IEEE
15 years 7 months ago
1995
IEEE
In this paper, we describe a Prolog implementation of a new theorem prover for (normal propositional) modal and multi–modal logics. The theorem prover, which is called KEM, arise...