Sciweavers

470 search results - page 30 / 94
» An adaptive probabilistic trust model and its evaluation
Sort
View
QEST
2008
IEEE
15 years 4 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
15 years 1 months 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»
15 years 3 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
15 years 4 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
15 years 1 days 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