3134 search results - page 154 / 627 » Computing full disjunctions |
139
Voted
EUC
2008
Springer
15 years 5 months ago
2008
Springer
The existing software engineering seldom considers software usability, and Human-Computer Interaction (HCI) techniques which can improve the software usability cannot guarantee de...
138
Voted
ECIR
2010
Springer
15 years 5 months ago
2010
Springer
We investigate using topic prediction data, as a summary of document content, to compute measures of search result quality. Unlike existing quality measures such as query clarity t...
99
Voted
COMMA
2008
15 years 5 months ago
2008
Abstract. We present a variant of AB-dispute derivations for assumption-based argumentation (ABA), that can be used for determining the admissibility of claims. ABA reduces the pro...
CSC
2006
15 years 5 months ago
2006
Full wave electromagnetic simulation requires numerically expensive methods such as FDTD. The computation time depends superlinearly on the number of unknowns in the simulation reg...
142
Voted
IJCAI
1989
15 years 4 months ago
1989
The foundations of a class of logic programming systems with the expressive power of full first-order logic and a non-monotonic component is addressed. The underlying refutation m...