2302 search results - page 389 / 461 » Testing as Abstraction |
200
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. TBox reasoning in description logics is hard. For example, reasoning in SROIQ (i.e. OWL2-DL) is N2EXPTIME-complete; even with R, a fragment of SROIQ supporting ALC GCIs a...
176
click to vote
ECIR
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Active learning refers to the task of devising a ranking function that, given a classifier trained from relatively few training examples, ranks a set of additional unlabe...
176
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
Abstract-- Planning resources for a supply chain is a major factor determining its success or failure. In this paper we introduce an Interval Type-2 Fuzzy Logic model of a distribu...
167
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...
147
click to vote
HCI
2009
15 years 3 months ago
2009
Abstract. A large amount of research attempts to define trust, yet relatively little research attempts to experimentally verify what makes trust needed in interactions with humans ...