Sciweavers

2094 search results - page 212 / 419
» A Bayesian Approach for User Modeling in Dialogue Systems
Sort
View
QEST
2010
IEEE
15 years 3 months ago
DTMC Model Checking by SCC Reduction
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
Erika Ábrahám, Nils Jansen, Ralf Wim...
KI
2002
Springer
15 years 4 months ago
Advantages, Opportunities and Limits of Empirical Evaluations: Evaluating Adaptive Systems
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
Stephan Weibelzahl, Gerhard Weber
JCDL
2005
ACM
95views Education» more  JCDL 2005»
15 years 10 months ago
Link prediction approach to collaborative filtering
Recommender systems can provide valuable services in a digital library environment, as demonstrated by its commercial success in book, movie, and music industries. One of the most...
Zan Huang, Xin Li, Hsinchun Chen
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 5 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
AIPS
2009
15 years 6 months ago
A Decision-Theoretic Approach to Dynamic Sensor Selection in Camera Networks
Nowadays many urban areas have been equipped with networks of surveillance cameras, which can be used for automatic localization and tracking of people. However, given the large r...
Matthijs T. J. Spaan, Pedro U. Lima