2702 search results - page 354 / 541 » Practically Applicable Formal Methods |
143
Voted
AAAI
2010
15 years 3 months ago
2010
Conjunctive query answering is a key reasoning service for many ontology-based applications. In order to improve scalability, many Semantic Web query answering systems give up com...
121
click to vote
DAGSTUHL
2008
15 years 3 months ago
2008
Abstract. Having good estimates or even bounds for the error in computing approximations to expressions of the form f(A)v is very important in practical applications. In this paper...
104
Voted
PST
2008
15 years 3 months ago
2008
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
118
Voted
AAAI
2004
15 years 3 months ago
2004
Since the state space of most games is a directed graph, many game-playing systems detect repeated positions with a transposition table. This approach can reduce search effort by ...
123
click to vote
AVI
2006
15 years 3 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...