324 search results - page 17 / 65 » Two-way Replacement Selection |
GI
2009
Springer
14 years 11 hour ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
EMNLP
2006
13 years 8 months ago
2006
Lexical features are key to many approaches to sentiment analysis and opinion detection. A variety of representations have been used, including single words, multi-word Ngrams, ph...
BMCBI
2004
13 years 7 months ago
2004
The hit criterion is a key component of heuristic local alignment algorithms. It specifies a class of patterns assumed to witness a potential similarity, and this choice is decisi...
PRESENCE
2010
13 years 5 months ago
2010
Brain-computer interfaces (BCIs) provide a novel form of human-computer interaction. The purpose of these systems is to aid disabled people by aording them the possibility of com...
EDBT
2010
ACM
14 years 6 days ago
2010
ACM
In adaptive query processing, the way in which a query is evaluated is changed in the light of feedback obtained from the environment during query evaluation. Such feedback may, f...