4340 search results - page 765 / 868 » Formal Methods and Cryptography |
149
click to vote
ICWSM
2010
15 years 5 months ago
2010
Microblogging concurrently with live media events is becoming commonplace. The resulting comment stream represents a parallel, social conversational reflection on the event. Altho...
130
click to vote
LREC
2010
15 years 5 months ago
2010
This paper deals with the problem of finding sign occurrences in a sign language (SL) video. It begins with an analysis of sign models and the way they can take into account the s...
119
click to vote
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
Web application hybrids, popularly known as mashups, are created by integrating services on the Web using their APIs. Support for finding an API is currently provided by generic s...
140
click to vote
ISTA
2008
15 years 5 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...
129
click to vote
LREC
2008
15 years 5 months ago
2008
Evaluation campaigns have become an established way to evaluate automatic systems which tackle the same task. This paper presents the first edition of the Anaphora Resolution Exer...