Sciweavers

470 search results - page 30 / 94
» An adaptive probabilistic trust model and its evaluation
Sort
View
QEST
2008
IEEE
14 years 3 months ago
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
Kousha Etessami, Dominik Wojtczak, Mihalis Yannaka...
DIAGRAMS
2006
Springer
14 years 9 days ago
Evaluation of ERST - An External Representation Selection Tutor
This paper describes the evaluation of ERST, an adaptive system which is designed to improve its users' external representation (ER) selection accuracy on a range of database ...
Beate Grawemeyer
BTW
2003
Springer
107views Database» more  BTW 2003»
14 years 1 months ago
Catalog Integration Made Easy
Abstract: In this paper, we study adaptive evaluation techniques for querying XMLbased electronic catalogs, and show, by means of experiments performed on real-world catalogs, that...
Pedro José Marrón, Georg Lausen, Mar...
IRI
2008
IEEE
14 years 3 months ago
Model check stochastic supply chains
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
Li Tan, Shenghan Xu
AAAI
2008
13 years 11 months ago
Reasoning about the Appropriateness of Proponents for Arguments
Formal approaches to modelling argumentation provide ways to present arguments and counterarguments, and to evaluate which arguments are, in a formal sense, warranted. While these...
Anthony Hunter