6978 search results - page 1127 / 1396 » On Proofs in System P |
189
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
The Domain Name System (DNS) is a fundamental component of today’s Internet. Recent years have seen radical changes to DNS with increases in usage of remote DNS and public DNS s...
176
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Navigation systems have proven to be quite useful for many drivers. People increasingly rely on the devices of TomTom and other vendors and find it useful to get directions to go ...
229
click to vote
DELTA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes the concept, architecture, development and demonstration of a real time, high performance, software defined 4-receiver system and a space time decoder to be i...
154
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents the experiments carried out at Jadavpur University as part of the participation in the GREC Named Entity Generation Challenge 2010. The Baseline system is base...
157
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Click fraud is jeopardizing the industry of Internet advertising. Internet advertising is crucial for the thriving of the entire Internet, since it allows producers to advertise t...