Computer Science

Authors and titles for April 2013

[201] arXiv:1304.1128 [pdf, other]

Title: An Architecture for Probabilistic Concept-Based Information Retrieval

Robert Fung, S. L. Crawford, Lee A. Appelbaum, Richard M. Tong

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[202] arXiv:1304.1129 [pdf, other]

Title: Amplitude-Based Approach to Evidence Accumulation

A. J. Hanson

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[203] arXiv:1304.1130 [pdf, other]

Title: A Probabilistic Reasoning Environment

Kathryn Blackmond Laskey

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[204] arXiv:1304.1131 [pdf, other]

Title: On Non-monotonic Conditional Reasoning

Hung-Trung Nguyen

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[205] arXiv:1304.1132 [pdf, other]

Title: Decisions with Limited Observations over a Finite Product Space: the Klir Effect

Michael Pittarelli

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[206] arXiv:1304.1133 [pdf, other]

Title: Fine-Grained Decision-Theoretic Search Control

Stuart Russell

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[207] arXiv:1304.1134 [pdf, other]

Title: Rules, Belief Functions and Default Logic

Nic Wilson

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[208] arXiv:1304.1135 [pdf, other]

Title: Combination of Evidence Using the Principle of Minimum Information Gain

Michael S. K. M. Wong, P. Lingras

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[209] arXiv:1304.1136 [pdf, other]

Title: Probabilistic Evaluation of Candidates and Symptom Clustering for Multidisorder Diagnosis

Thomas D. Wu

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[210] arXiv:1304.1137 [pdf, other]

Title: Extending Term Subsumption systems for Uncertainty Management

John Yen, Piero P. Bonissone

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[211] arXiv:1304.1138 [pdf, other]

Title: Refinement and Coarsening of Bayesian Networks

Kuo-Chu Chang, Robert Fung

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[212] arXiv:1304.1139 [pdf, other]

Title: Second Order Probabilities for Uncertain and Conflicting Evidence

Gerhard Paaß

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[213] arXiv:1304.1140 [pdf, other]

Title: Computing Probability Intervals Under Independency Constraints

Linda C. van der Gaag

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[214] arXiv:1304.1141 [pdf, other]

Title: An Empirical Analysis of Likelihood-Weighting Simulation on a Large, Multiply-Connected Belief Network

Michael Shwe, Gregory F. Cooper

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[215] arXiv:1304.1142 [pdf, other]

Title: Towards a Normative Theory of Scientific Evidence

David Sher

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[216] arXiv:1304.1143 [pdf, other]

Title: A Model for Non-Monotonic Reasoning Using Dempster's Rule

Mary McLeish

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[217] arXiv:1304.1144 [pdf, other]

Title: Default Reasoning and the Transferable Belief Model

Philippe Smets, Yen-Teh Hsia

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[218] arXiv:1304.1145 [pdf, other]

Title: Separable and transitive graphoids

Dan Geiger, David Heckerman

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[219] arXiv:1304.1146 [pdf, other]

Title: Analysis in HUGIN of Data Conflict

Bo Chamberlain, Finn Verner Jensen, Frank Jensen, Torsten Nordahl

Comments: Appears in Proceedings of the Sixth Conference on Uncertainty in Artificial Intelligence (UAI1990)

Subjects: Artificial Intelligence (cs.AI)

[220] arXiv:1304.1185 [pdf, other]

Title: Parameterized Verification of Asynchronous Shared-Memory Systems

Javier Esparza, Pierre Ganty, Rupak Majumdar

Comments: 26 pages, International Conference on Computer Aided Verification (CAV'13)

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[221] arXiv:1304.1188 [pdf, other]

Title: How to Approximate A Set Without Knowing Its Size In Advance

Rasmus Pagh, Gil Segev, Udi Wieder

Comments: Clarified a point in the lower bound proof

Subjects: Data Structures and Algorithms (cs.DS)

[222] arXiv:1304.1192 [pdf, other]

Title: Efficient Distance Metric Learning by Adaptive Sampling and Mini-Batch Stochastic Gradient Descent (SGD)

Qi Qian, Rong Jin, Jinfeng Yi, Lijun Zhang, Shenghuo Zhu

Subjects: Machine Learning (cs.LG)

[223] arXiv:1304.1202 [pdf, other]

Title: High rate locally correctable codes via lifting

Alan Guo

Comments: Fixed some typos, replaced references, which were missing in previous arXiv version

Subjects: Information Theory (cs.IT)

[224] arXiv:1304.1206 [pdf, other]

Title: Finding Primitive Elements in Finite Fields of Small Characteristic

Ming-Deh Huang, Anand Kumar Narayanan

Comments: Modifications made to the polynomial selection and testing phases

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Combinatorics (math.CO)

[225] arXiv:1304.1207 [pdf, other]

Title: Fourier-Reflexive Partitions and MacWilliams Identities for Additive Codes

Heide Gluesing-Luerssen

Subjects: Information Theory (cs.IT); Combinatorics (math.CO)

[226] arXiv:1304.1217 [pdf, other]

Title: On the communication complexity of sparse set disjointness and exists-equal problems

Mert Saglam, Gabor Tardos

Subjects: Computational Complexity (cs.CC)

[227] arXiv:1304.1220 [pdf, other]

Title: A generalized asynchronous computability theorem

Eli Gafni, Petr Kuznetsov, Ciprian Manolescu

Comments: 16 pages, 5 figures

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); General Topology (math.GN)

[228] arXiv:1304.1222 [pdf, other]

Title: Alternating minimal energy methods for linear systems in higher dimensions. Part II: Faster algorithm and application to nonsymmetric systems

Sergey V. Dolgov, Dmitry V. Savostyanov

Comments: Submitted to SIAM J Sci Comp

Journal-ref: SIAM J. Sci. Comput. 36(5): A2248-A2271, 2014

Subjects: Numerical Analysis (math.NA)

[229] arXiv:1304.1233 [pdf, other]

Title: Shadow Detection: A Survey and Comparative Evaluation of Recent Methods

Andres Sanin, Conrad Sanderson, Brian C. Lovell

Journal-ref: Pattern Recognition, Vol. 45, No. 4, pp. 1684-1695, 2012

Subjects: Computer Vision and Pattern Recognition (cs.CV); Robotics (cs.RO)

[230] arXiv:1304.1235 [pdf, other]

Title: A Review on P2P Video Streaming

Sabu M Thampi

Subjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)

[231] arXiv:1304.1238 [pdf, other]

Title: Sparse FGLM algorithms

Jean-Charles Faugère, Chenqi Mou

Comments: 40 pages

Journal-ref: Journal of Symbolic Computation, 2017, 80(3): 538-569

Subjects: Symbolic Computation (cs.SC)

[232] arXiv:1304.1239 [pdf, other]

Title: Total Representations

Victor Selivanov

Comments: 30 pages

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 2 (June 2, 2013) lmcs:1191

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[233] arXiv:1304.1245 [pdf, other]

Title: Fourier sparsity, spectral norm, and the Log-rank conjecture

Hing Yin Tsang, Chung Hoi Wong, Ning Xie, Shengyu Zhang

Comments: v2: Corollary 31 of v1 removed because of a bug in the proof. (Other results not affected.)

Subjects: Computational Complexity (cs.CC)

[234] arXiv:1304.1247 [pdf, other]

Title: Solving Linear Programming with Constraints Unknown

Xiaohui Bei, Ning Chen, Shengyu Zhang

Subjects: Data Structures and Algorithms (cs.DS); Computational Geometry (cs.CG)

[235] arXiv:1304.1250 [pdf, other]

Title: Fast Approximate L_infty Minimization: Speeding Up Robust Regression

Fumin Shen, Chunhua Shen, Rhys Hill, Anton van den Hengel, Zhenmin Tang

Comments: 11 pages

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computation (stat.CO)

[236] arXiv:1304.1271 [pdf, other]

Title: Exponentially convergent method for integral nonlocal problem for the first order differential equation with unbounded coefficient in Banach space

V.B. Vasylyk

Subjects: Numerical Analysis (math.NA)

[237] arXiv:1304.1291 [pdf, other]

Title: Gaussian Beam Methods for the Helmholtz Equation

Hailiang Liu, James Ralston, Olof Runborg, Nicolay M. Tanushev

Subjects: Numerical Analysis (math.NA)

[238] arXiv:1304.1307 [pdf, other]

Title: On the structure of the class NP

Anatoly D. Plotnikov

Comments: 7 pages, 7 references

Journal-ref: On the structure of the class NP. Computer Communication & Collaboration (2013) 1: 19-23

Subjects: Computational Complexity (cs.CC)

[239] arXiv:1304.1309 [pdf, other]

Title: Interaction Nets in Russian

Anton Salikhmetov

Comments: 22 pages, in Russian

Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)

[240] arXiv:1304.1318 [pdf, other]

Title: RFID Authentication Against an Unsecure Backend Server

Wei Xie, Chen Zhang, Quan Zhang, Chaojing Tang

Comments: This paper has been withdrawn by the author due to a crucial sign error

Subjects: Cryptography and Security (cs.CR)

[241] arXiv:1304.1332 [pdf, other]

Title: What really happened on September 15th 2008? Getting The Most from Your Personal Information with Memacs

Karl Voit

Comments: 6 pages, 3 figures, 21 references

Subjects: Human-Computer Interaction (cs.HC); Information Retrieval (cs.IR)

[242] arXiv:1304.1346 [pdf, other]

Title: Domain Specific Language for Geometric Relations between Rigid Bodies targeted to robotic applications

Tinne De Laet, Wouter Schaekers, Jonas de Greef, Herman Bruyninckx

Comments: Presented at DSLRob 2012 (arXiv:cs/1302.5082)

Subjects: Robotics (cs.RO)

[243] arXiv:1304.1347 [pdf, other]

Title: A composition theorem for the Fourier Entropy-Influence conjecture

Ryan O'Donnell, Li-Yang Tan

Subjects: Computational Complexity (cs.CC)

[244] arXiv:1304.1351 [pdf, other]

Title: On the complexity of strong Nash equilibrium: Hard-to-solve instances and smoothed complexity

Nicola Gatti, Marco Rocco, Tuomas Sandholm

Subjects: Computer Science and Game Theory (cs.GT)

[245] arXiv:1304.1356 [pdf, other]

Title: The Graph Grammar Library - a generic framework for chemical graph rewrite systems

Martin Mann, Heinz Ekker, Christoph Flamm

Comments: Extended version of an abstract published in proceedings of the International Conference on Model Transformation (ICMT) 2013

Subjects: Mathematical Software (cs.MS); Computational Engineering, Finance, and Science (cs.CE); Biomolecules (q-bio.BM); Molecular Networks (q-bio.MN)

[246] arXiv:1304.1359 [pdf, other]

Title: Randomness-Efficient Rumor Spreading

Zeyu Guo, He Sun

Comments: This paper has been withdrawn by the author since a more general result is recently posted

Subjects: Data Structures and Algorithms (cs.DS); Social and Information Networks (cs.SI)

[247] arXiv:1304.1368 [pdf, other]

Title: Theory-based Benchmarking of the Blended Force-Based Quasicontinuum Method

Xingjie Helen Li, Mitchell Luskin, Christoph Ortner, Alexander V. Shapeev

Comments: 25 pages, color figures; some numerical experiments re-done

Subjects: Numerical Analysis (math.NA); Materials Science (cond-mat.mtrl-sci)

[248] arXiv:1304.1374 [pdf, other]

Title: Report on the EuDML external cooperation model

Thierry Bouche (IF, CCDNM), Jiri Rákosnik

Comments: Small edits for publication. Cost section added

Subjects: Digital Libraries (cs.DL); Computers and Society (cs.CY)

[249] arXiv:1304.1386 [pdf, other]

Title: Lack of controllability of thermal systems with memory

Andrei Halanay, Luciano Pandolfi

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)

[250] arXiv:1304.1391 [pdf, other]

Title: Fast SVM training using approximate extreme points

Manu Nandan, Pramod P. Khargonekar, Sachin S. Talathi

Comments: The manuscript in revised form has been submitted to J. Machine Learning Research

Subjects: Machine Learning (cs.LG)

[251] arXiv:1304.1398 [pdf, other]

Title: Construction and analysis of higher order Galerkin variational integrators

Sina Ober-Blöbaum, Nils Saake

Comments: 27 pages

Subjects: Numerical Analysis (math.NA)

[252] arXiv:1304.1402 [pdf, other]

Title: Computing Datalog Rewritings beyond Horn Ontologies

Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks

Comments: 14 pages. To appear at IJCAI 2013

Subjects: Artificial Intelligence (cs.AI)

[253] arXiv:1304.1405 [pdf, other]

Title: Homogeneous Weights of Matrix Product Codes over Finite Principal Ideal Rings

Yun Fan, San Ling, Hongwei Liu

Subjects: Information Theory (cs.IT)

[254] arXiv:1304.1411 [pdf, other]

Title: RITA: An Index-Tuning Advisor for Replicated Databases

Quoc Trung Tran, Ivo Jimenez, Rui Wang, Neoklis Polyzotis, Anastasia Ailamaki

Comments: 15 pages, 11 figures

Subjects: Databases (cs.DB)

[255] arXiv:1304.1419 [pdf, other]

Title: Integration of spatio-temporal contrast sensitivity with a multi-slice channelized Hotelling observer

Ali N. Avanaki, Kathryn S. Espig, Cedric Marchessoux, Elizabeth A. Krupinski, Predrag R. Bakic, Tom R. L. Kimpe, Andrew D. A. Maidment

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[256] arXiv:1304.1423 [pdf, other]

Title: Balancing parallel assembly lines with disabled workers

Felipe F. B. Araújo, Alysson M. Costa, Cristóbal Miralles

Subjects: Discrete Mathematics (cs.DM)

[257] arXiv:1304.1424 [pdf, other]

Title: Improved approximation for 3-dimensional matching via bounded pathwidth local search

Marek Cygan

Comments: To appear in proceedings of FOCS 2013

Subjects: Data Structures and Algorithms (cs.DS)

[258] arXiv:1304.1428 [pdf, other]

Title: Information and Computation

Carlos Gershenson

Comments: 9 pages, 3 figures. Draft of a chapter to be published in Michelucci, P. (Ed.) Handbook of Human Computation, Springer

Subjects: Information Theory (cs.IT); Human-Computer Interaction (cs.HC); Social and Information Networks (cs.SI); Adaptation and Self-Organizing Systems (nlin.AO)

[259] arXiv:1304.1432 [pdf, other]

Title: Interference Alignment with Diversity for the $2 \times 2$ $X$ Network with four antennas

Abhinav Ganesan, B. Sundar Rajan

Comments: 16 pages, 5 figures

Subjects: Information Theory (cs.IT)

[260] arXiv:1304.1449 [pdf, other]

Title: Cutting corners cheaply, or how to remove Steiner points

Lior Kamma, Robert Krauthgamer, Huy L. Nguyen

Subjects: Data Structures and Algorithms (cs.DS)

[261] arXiv:1304.1456 [pdf, other]

Title: Efficient evolutionary dynamics with extensive-form games

Nicola Gatti, Fabio Panozzo, Marcello Restelli

Subjects: Computer Science and Game Theory (cs.GT)

[262] arXiv:1304.1458 [pdf, other]

Title: How Hard is Counting Triangles in the Streaming Model

Vladimir Braverman, Rafail Ostrovsky, Dan Vilenchik

Subjects: Data Structures and Algorithms (cs.DS)

[263] arXiv:1304.1459 [pdf, other]

Title: Bandwidth reduction in cognitive radio

Tariq Shah, Sayed Azmat Hussain, Antonio Aparecido de Andrade

Comments: 10 pages

Subjects: Information Theory (cs.IT)

[264] arXiv:1304.1467 [pdf, other]

Title: Dimension Independent Matrix Square using MapReduce

Reza Bosagh Zadeh, Gunnar Carlsson

Comments: arXiv admin note: text overlap with arXiv:1206.2082

Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC); Spectral Theory (math.SP)

[265] arXiv:1304.1491 [pdf, other]

Title: Lp : A Logic for Statistical Information

Fahiem Bacchus

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[266] arXiv:1304.1492 [pdf, other]

Title: Map Learning with Indistinguishable Locations

Kenneth Basye, Thomas L. Dean

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[267] arXiv:1304.1493 [pdf, other]

Title: Temporal Reasoning with Probabilities

Carlo Berzuini, Riccardo Bellazzi, Silvana Quaglini

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[268] arXiv:1304.1494 [pdf, other]

Title: Now that I Have a Good Theory of Uncertainty, What Else Do I Need?

Piero P. Bonissone

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[269] arXiv:1304.1495 [pdf, other]

Title: Uncertainty and Incompleteness

Piero P. Bonissone, David A. Cyrluk, James W. Goodwin, Jonathan Stillman

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[270] arXiv:1304.1496 [pdf, other]

Title: BaRT: A Bayesian Reasoning Tool for Knowledge Based Systems

Lashon B. Booker, Naveen Hota, Connie Loggia Ramsey

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[271] arXiv:1304.1497 [pdf, other]

Title: Plan Recognition in Stories and in Life

Eugene Charniak, Robert P. Goldman

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[272] arXiv:1304.1498 [pdf, other]

Title: An Empirical Evaluation of a Randomized Algorithm for Probabilistic Inference

R. Martin Chavez, Gregory F. Cooper

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[273] arXiv:1304.1499 [pdf, other]

Title: Decision Making "Biases" and Support for Assumption-Based Higher-Order Reasoning

Marvin S. Cohen

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[274] arXiv:1304.1500 [pdf, other]

Title: Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision and Variable Certainty Weights

Didier Dubois, Jerome Lang, Henri Prade

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[275] arXiv:1304.1501 [pdf, other]

Title: How Much More Probable is "Much More Probable"? Verbal Expressions for Probability Updates

Christopher Elsaesser, Max Henrion

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[276] arXiv:1304.1502 [pdf, other]

Title: Positive and Negative Explanations of Uncertain Reasoning in the Framework of Possibility Theory

Henri Farrency, Henri Prade

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[277] arXiv:1304.1503 [pdf, other]

Title: Interval Influence Diagrams

Kenneth W. Fertig, John S. Breese

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[278] arXiv:1304.1504 [pdf, other]

Title: Weighing and Integrating Evidence for Stochastic Simulation in Bayesian Networks

Robert Fung, Kuo-Chu Chang

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[279] arXiv:1304.1505 [pdf, other]

Title: d-Separation: From Theorems to Algorithms

Dan Geiger, Tom S. Verma, Judea Pearl

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[280] arXiv:1304.1506 [pdf, other]

Title: The Effects of Perfect and Sample Information on Fuzzy Utilities in Decision-Making

Maria Angeles Gil, Pramod Jain

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[281] arXiv:1304.1507 [pdf, other]

Title: Deciding Consistency of Databases Containing Defeasible and Strict Information

Moises Goldszmidt, Judea Pearl

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[282] arXiv:1304.1508 [pdf, other]

Title: The Relationship between Knowledge, Belief and Certainty

Joseph Y. Halpern

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[283] arXiv:1304.1509 [pdf, other]

Title: Heuristic Search as Evidential Reasoning

Othar Hansson, Andy Mayer

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[284] arXiv:1304.1510 [pdf, other]

Title: The Compilation of Decision Models

David Heckerman, John S. Breese, Eric J. Horvitz

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[285] arXiv:1304.1511 [pdf, other]

Title: A Tractable Inference Algorithm for Diagnosing Multiple Diseases

David Heckerman

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[286] arXiv:1304.1512 [pdf, other]

Title: Bounded Conditioning: Flexible Inference for Decisions under Scarce Resources

Eric J. Horvitz, Jaap Suermondt, Gregory F. Cooper

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[287] arXiv:1304.1513 [pdf, other]

Title: Hierarchical Evidence Accumulation in the Pseiki System and Experiments in Model-Driven Mobile Robot Navigation

A. C. Kak, K. M. Andress, C. Lopez-Abadia, M. S. Carroll, J. R. Lewis

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[288] arXiv:1304.1514 [pdf, other]

Title: A Decision-Theoretic Model for Using Scientific Data

Harold P. Lehmann

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[289] arXiv:1304.1515 [pdf, other]

Title: When Should a Decision Maker Ignore the Advice of a Decision Aid?

Paul E. Lehner, Theresa M. Mullin, Marvin S. Cohen

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[290] arXiv:1304.1516 [pdf, other]

Title: Inference Policies

Paul E. Lehner

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[291] arXiv:1304.1517 [pdf, other]

Title: Model-based Influence Diagrams for Machine Vision

Tod S. Levitt, John Mark Agosta, Thomas O. Binford

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)

[292] arXiv:1304.1518 [pdf, other]

Title: Defeasible Decisions: What the Proposal is and isn't

Ronald P. Loui

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[293] arXiv:1304.1519 [pdf, other]

Title: Experiments Using Belief Functions and Weights of Evidence incorporating Statistical Data and Expert Opinions

Mary McLeish, P. Yao, M. Cecile, T. Stirtzinger

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[294] arXiv:1304.1520 [pdf, other]

Title: Shootout-89: A Comparative Evaluation of Knowledge-based Systems that Forecast Severe Weather

W. R. Moninger, J. A. Flueck, C. Lusk, W. F. Roberts

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[295] arXiv:1304.1521 [pdf, other]

Title: Conditioning on Disjunctive Knowledge: Defaults and Probabilities

Eric Neufeld, J. D. Horton

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[296] arXiv:1304.1522 [pdf, other]

Title: Maximum Uncertainty Procedures for Interval-Valued Probability Distributions

Michael Pittarelli

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[297] arXiv:1304.1523 [pdf, other]

Title: A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition

Gregory M. Provan

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[298] arXiv:1304.1524 [pdf, other]

Title: Strategies for Generating Micro Explanations for Bayesian Belief Networks

Peter Sember, Ingrid Zukerman

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[299] arXiv:1304.1525 [pdf, other]

Title: Evidence Absorption and Propagation through Evidence Reversals

Ross D. Shachter

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)

[300] arXiv:1304.1526 [pdf, other]

Title: Simulation Approaches to General Probabilistic Inference on Belief Networks

Ross D. Shachter, Mark Alan Peot

Comments: Appears in Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI1989)

Subjects: Artificial Intelligence (cs.AI)