3408 search results - page 287 / 682 » Logic, language, information and computation |
193
click to vote
MOBICOM
2009
ACM
16 years 1 months ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
173
click to vote
TGIS
2002
15 years 6 months ago
2002
Traditional GISystems are no longer appropriate for modern distributed, heterogeneous network environments due to their closed architecture, and their lack of interoperability, reu...
196
click to vote
TCC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
161
click to vote
MKM
2004
Springer
16 years 2 days ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
146
click to vote
COLING
2010
15 years 1 months ago
2010
Sentiment analysis systems can benefit from the translation of sentiment information. We present a novel, graph-based approach using SimRank, a well-established graph-theoretic al...