5255 search results - page 950 / 1051 » Formal Methods for Privacy |
114
click to vote
LREC
2010
15 years 3 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...
ICWS
2008
IEEE
15 years 3 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...
125
Voted
ISTA
2008
15 years 3 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...
114
click to vote
LREC
2008
15 years 3 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...
112
click to vote
IJCAI
2007
15 years 3 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...