410 search results - page 53 / 82 » Symbolic Representations and Analysis of Large Probabilistic... |
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
TREC
2001
13 years 9 months ago
2001
This paper describes the retrieval experiments for the main task and list task of the TREC-10 questionanswering track. The question answering system described automatically finds ...
ET
2007
13 years 7 months ago
2007
As new approaches and algorithms are developed for system diagnosis, it is important to reflect on existing approaches to determine their strengths and weaknesses. Of concern is i...
CHI
2006
ACM
14 years 8 months ago
2006
ACM
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
INTERACT
2003
13 years 9 months ago
2003
: This paper presents both a theoretical analysis of differences between geographic and hypermedia spaces, and some experimental data comparing users’ ability to navigate in hype...