Sciweavers

269 search results - page 4 / 54
» Conditionalization and total knowledge
Sort
View
RC
1998
41views more  RC 1998»
13 years 7 months ago
Estimating Uncertainties for Geophysical Tomography
We present statistical and interval techniques for evaluating the uncertainties associated with geophysical tomographic inversion problems, including estimation of data errors, mo...
Diane I. Doser, Kevin D. Crain, Mark R. Baker, Vla...
CLIMA
2007
13 years 9 months ago
Proof Theory for Distributed Knowledge
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
Raul Hakli, Sara Negri
CDC
2010
IEEE
102views Control Systems» more  CDC 2010»
13 years 2 months ago
Stock market trading via stochastic network optimization
We consider the problem of dynamic buying and selling of shares from a collection of N stocks with random price fluctuations. To limit investment risk, we place an upper bound on t...
Michael J. Neely
SEMWEB
2004
Springer
14 years 24 days ago
An Evaluation of Knowledge Base Systems for Large OWL Datasets
Abstract. In this paper, we present an evaluation of four knowledge base systems (KBS) with respect to use in large OWL applications. To our knowledge, no experiment has been done ...
Yuanbo Guo, Zhengxiang Pan, Jeff Heflin
ACL
1992
13 years 8 months ago
Integrating Multiple Knowledge Sources for Detection and Correction of Repairs in Human-Computer Dialog
We have analyzed 607 sentences of spontaneous human-computer speech data containing repairs, drawn from a total corpus of 10,718 sentences. We present here criteria and techniques...
John Bear, John Dowding, Elizabeth Shriberg