2514 search results - page 446 / 503 » The use of industrial-strength formal methods |
141
click to vote
FPLAY
2008
15 years 7 months ago
2008
Researching experiential phenomena is a challenging undertaking, given the sheer variety of experiences that are described by gamers and missing a formal taxonomy: flow, immersion...
151
click to vote
LREC
2010
15 years 7 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...
149
click to vote
LREC
2008
15 years 7 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...
125
click to vote
IJCAI
2007
15 years 7 months ago
2007
Accurate entity resolution is sometimes impossible simply due to insufficient information. For example, in research paper author name resolution, even clever use of venue, title ...
195
click to vote
LWA
2007
15 years 7 months ago
2007
Web 2.0 applications like Flickr, YouTube, or Del.icio.us are increasingly popular online communities for creating, editing and sharing content. However, the rapid increase in siz...