8874 search results - page 167 / 1775 » A New Implementation of Automath |
162
click to vote
WMASH
2003
ACM
15 years 9 months ago
2003
ACM
We propose a new network layer mobility architecture called MOBILENAT to efficiently support micro and macro-mobility in and across heterogeneous address spaces common in emergin...
159
click to vote
SIGOPSE
1994
ACM
15 years 7 months ago
1994
ACM
Integrated circuit cards or smart cards are now well-known. Applications such as electronic purses (cash units stored in cards), subscriber identification cards used in cellular te...
112
click to vote
VLDB
1987
ACM
15 years 7 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
163
Voted
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Online detection of video clips that present previously unseen events in a video stream is still an open challenge to date. For this online new event detection (ONED) task, existi...
122
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise ne...