911 search results - page 5 / 183 » First Steps with a Rideable Computer |
79
Voted
LCN
2005
IEEE
15 years 7 months ago
2005
IEEE
Despite recent advancements in cellular phone network infrastructure, survivability of the calls is still an open issue. Important business calls and tele-conferences cannot benef...
119
click to vote
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...
124
click to vote
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often i...
118
Voted
ISWC
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we describe the first stand-alone Augmented Reality (AR) system with self-tracking running on an unmodified personal digital assistant (PDA) with a commercial camera...
110
click to vote
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...