4013 search results - page 214 / 803 » computer 2002 |
144
click to vote
PUC
2002
15 years 4 months ago
2002
Location models are crucial to location-aware applications. In this paper we present two approaches for modeling location information in an infrastructure-based and an ad hoc netwo...
150
click to vote
AINA
2004
IEEE
15 years 8 months ago
2004
IEEE
At the conference Asiacrypt 2001, Rivest, Shamir and Tauman firstly addressed the concept of ring signature. In this paper we propose an identity-based ring signature scheme from ...
109
click to vote
COLING
2002
15 years 4 months ago
2002
Less than 1% of the languages spoken in the world are correctly "computerized": spell checkers, hyphenation, machine translation are still lacking for the others. In thi...
127
click to vote
COLING
2002
15 years 4 months ago
2002
The paper presents a statistical approach to automatic building of translation lexicons from parallel corpora. We briefly describe the pre-processing steps, a baseline iterative m...
135
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
Based on an inductive definition of triangulations, a theory of undirected planar graphs is developed in Isabelle/HOL. The proof of the 5 colour theorem is discussed in some detai...