Sciweavers

973 search results - page 28 / 195
» Arguing Using Opponent Models
Sort
View
CTW
2004
88views more  CTW 2004»
13 years 7 months ago
A work domain analysis framework for modelling intensive care unit patients
Abstract Work domain analysis (WDA) has been applied to a range of complex work domains, but few WDAs have been undertaken in medical contexts. One ng effort suggested that clinica...
Anne Miller
AAAI
2012
11 years 10 months ago
Supervised Probabilistic Robust Embedding with Sparse Noise
Many noise models do not faithfully reflect the noise processes introduced during data collection in many real-world applications. In particular, we argue that a type of noise re...
Yu Zhang, Dit-Yan Yeung, Eric P. Xing
ENTCS
2007
97views more  ENTCS 2007»
13 years 7 months ago
Can a Model Checker Generate Tests for Non-Deterministic Systems?
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
Sergiy Boroday, Alexandre Petrenko, Roland Groz
ICTIR
2009
Springer
13 years 5 months ago
Prior Information and the Determination of Event Spaces in Probabilistic Information Retrieval Models
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
Corrado Boscarino, Arjen P. de Vries
DBISP2P
2003
Springer
79views Database» more  DBISP2P 2003»
14 years 24 days ago
SIL: Modeling and Measuring Scalable Peer-to-Peer Search Networks
The popularity of peer-to-peer search networks continues to grow, even as the limitations to the scalability of existing systems become apparent. We propose a simple model for sear...
Brian F. Cooper, Hector Garcia-Molina