678 search results - page 59 / 136 » An evaluation of combination strategies for test case select... |
162
click to vote
VLDB
1995
ACM
15 years 5 months ago
1995
ACM
Parallel database systems have to support the effective parallelization of complex queries in multi-user mode, i.e. in combination with inter-query/inter-transaction parallelism. ...
120
click to vote
GI
2009
Springer
15 years 6 months 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...
103
click to vote
AIED
2005
Springer
15 years 7 months ago
2005
Springer
We have developed a method to identify when a student essay is off-topic, i.e. the essay does not respond to the test question topic. This task is motivated by a real-world problem...
112
click to vote
NAACL
2004
15 years 3 months ago
2004
Previous work demonstrated that web counts can be used to approximate bigram frequencies, and thus should be useful for a wide variety of NLP tasks. So far, only two generation ta...
107
click to vote
SIGMETRICS
2006
ACM
15 years 7 months ago
2006
ACM
We consider a system with two service classes with heterogeneous traffic characteristics and Quality-of-Service requirements. The available bandwidth is shared between the two tra...