544 search results - page 36 / 109 » Overview of QAST 2007 |
ACL
2010
14 years 9 months ago
2010
This paper describes a series of experiments to test the hypothesis that the parallel application of multiple NLP tools and the integration of their results improves the correctne...
BCSHCI
2007
15 years 1 months ago
2007
Within the Bluetooth mobile space, overwhelmingly large sets of interaction and encounter data can very quickly be accumulated. This presents a challenge to gaining an understandi...
INTERACT
2007
15 years 1 months ago
2007
Abstract. Exploring any new data set always starts with gathering overview information. When this process is done non-visually, interactive sonification techniques have proved to b...
106
click to vote
CADE
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
CCGRID
2007
IEEE
15 years 6 months ago
2007
IEEE
Massively Multiplayer Online Games have become increasingly popular. However, their operation is costly, as game servers must be maintained. To reduce these costs, we aim at provi...