Artificial Intelligence

Authors and titles for April 2013

[351] arXiv:1304.0640 (cross-list from cs.NE) [pdf, other]

Title: Event management for large scale event-driven digital hardware spiking neural networks

Louis-Charles Caron, \and Michiel D'Haene, \and Frédéric Mailhot, \and Benjamin Schrauwen, \and Jean Rouat

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC)

[352] arXiv:1304.1014 (cross-list from cs.CV) [pdf, other]

Title: A Novel Frank-Wolfe Algorithm. Analysis and Applications to Large-Scale SVM Training

Hector Allende, Emanuele Frandi, Ricardo Nanculef, Claudio Sartori

Comments: REVISED VERSION (October 2013) -- Title and abstract have been revised. Section 5 was added. Some proofs have been summarized (full-length proofs available in the previous version)

Journal-ref: Information Sciences 285, 66-99, 2014

Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Optimization and Control (math.OC); Machine Learning (stat.ML)

[353] arXiv:1304.1098 (cross-list from cs.RO) [pdf, other]

Title: Occupancy Grids: A Stochastic Spatial Representation for Active Robot Perception

A. Elfes

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

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)

[354] arXiv:1304.1517 (cross-list from cs.CV) [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)

[355] arXiv:1304.2024 (cross-list from cs.LG) [pdf, other]

Title: A General Framework for Interacting Bayes-Optimally with Self-Interested Agents using Arbitrary Parametric Model and Model Prior

Trong Nghia Hoang, Kian Hsiang Low

Comments: 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Extended version with proofs, 10 pages

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Machine Learning (stat.ML)

[356] arXiv:1304.2363 (cross-list from cs.LG) [pdf, other]

Title: Multiple decision trees

Suk Wah Kwok, Chris Carter

Comments: Appears in Proceedings of the Fourth Conference on Uncertainty in Artificial Intelligence (UAI1988)

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[357] arXiv:1304.2367 (cross-list from cs.CV) [pdf, other]

Title: Utility-Based Control for Computer Vision

Tod S. Levitt, Thomas O. Binford, Gil J. Ettinger, Patrice Gelband

Comments: Appears in Proceedings of the Fourth Conference on Uncertainty in Artificial Intelligence (UAI1988)

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

[358] arXiv:1304.2382 (cross-list from cs.SY) [pdf, other]

Title: Predicting the Likely Behaviors of Continuous Nonlinear Systems in Equilibrium

Alexander Yeh

Comments: Appears in Proceedings of the Fourth Conference on Uncertainty in Artificial Intelligence (UAI1988)

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI)

[359] arXiv:1304.2743 (cross-list from cs.CV) [pdf, other]

Title: Comparisons of Reasoning Mechanisms for Computer Vision

Ze-Nian Li

Comments: Appears in Proceedings of the Third Conference on Uncertainty in Artificial Intelligence (UAI1987)

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

[360] arXiv:1304.2749 (cross-list from cs.CV) [pdf, other]

Title: Evidential Reasoning in Image Understanding

Minchuan Zhang, Su-shing Chen

Comments: Appears in Proceedings of the Third Conference on Uncertainty in Artificial Intelligence (UAI1987)

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

[361] arXiv:1304.2757 (cross-list from cs.SY) [pdf, other]

Title: Estimation Procedures for Robust Sensor Control

Greg Hager, Max Mintz

Comments: Appears in Proceedings of the Third Conference on Uncertainty in Artificial Intelligence (UAI1987)

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI)

[362] arXiv:1304.2888 (cross-list from cs.RO) [pdf, other]

Title: Roborobo! a Fast Robot Simulator for Swarm and Collective Robotics

Nicolas Bredeche, Jean-Marc Montanier, Berend Weel, Evert Haasdijk

Comments: 2 pages, 1 figure

Subjects: Robotics (cs.RO); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

[363] arXiv:1304.3088 (cross-list from cs.SY) [pdf, other]

Title: Information and Multi-Sensor Coordination

Greg Hager, Hugh F. Durrant-Whyte

Comments: Appears in Proceedings of the Second Conference on Uncertainty in Artificial Intelligence (UAI1986)

Subjects: Systems and Control (eess.SY); Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA)

[364] arXiv:1304.3449 (cross-list from cs.CE) [pdf, other]

Title: Statistical Mechanics Algorithm for Response to Targets (SMART)

Lester Ingber

Comments: Appears in Proceedings of the First Conference on Uncertainty in Artificial Intelligence (UAI1985)

Subjects: Computational Engineering, Finance, and Science (cs.CE); Artificial Intelligence (cs.AI)

[365] arXiv:1304.3733 (cross-list from quant-ph) [pdf, other]

Title: General Quantum Hilbert Space Modeling Scheme for Entanglement

Diederik Aerts, Sandro Sozzo

Comments: 11 pages. arXiv admin note: text overlap with arXiv:1304.0100

Journal-ref: Proceedings of the Seventh International Conference on Quantum, Nano and Micro Technologies (pp. 25-31), Eds. V. Ovchinnikov and P. Dini, IARIA, 2013

Subjects: Quantum Physics (quant-ph); Artificial Intelligence (cs.AI)

[366] arXiv:1304.3940 (cross-list from cs.HC) [pdf, other]

Title: Unveiling the link between logical fallacies and web persuasion

Antonio Lieto, Fabiana Vernero

Comments: 6 pages, 3 figures, in proceedings of the WebSci'13 Conference, Paris, 2013

Subjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI)

[367] arXiv:1304.4371 (cross-list from cs.DS) [pdf, other]

Title: Efficient Computation of Mean Truncated Hitting Times on Very Large Graphs

Joel Lang, James Henderson

Subjects: Data Structures and Algorithms (cs.DS); Artificial Intelligence (cs.AI)

[368] arXiv:1304.4910 (cross-list from stat.ML) [pdf, other]

Title: A Junction Tree Framework for Undirected Graphical Model Selection

Divyanshu Vats, Robert Nowak

Comments: This paper will appear in the Journal of Machine Learning Research (JMLR). See this http URL for code

Subjects: Machine Learning (stat.ML); Artificial Intelligence (cs.AI); Information Theory (cs.IT)

[369] arXiv:1304.5185 (cross-list from cs.LO) [pdf, other]

Title: Temporal Description Logic for Ontology-Based Data Access (Extended Version)

Alessandro Artale, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev

Comments: Full version of the IJCAI 2013 paper

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[370] arXiv:1304.5409 (cross-list from cs.CV) [pdf, other]

Title: Separating the Real from the Synthetic: Minutiae Histograms as Fingerprints of Fingerprints

Carsten Gottschlich, Stephan Huckemann

Journal-ref: IET Biometrics, vol. 3, no. 4, pp. 291-301, Dec. 2014

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

[371] arXiv:1304.5479 (cross-list from cs.CC) [pdf, other]

Title: Local Backbones

Ronald de Haan, Iyad Kanj, Stefan Szeider

Comments: A previous version appeared in the proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

Journal-ref: Proceedings of SAT 2013, LNCS 7962, pp. 377-393, 2013

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

[372] arXiv:1304.5530 (cross-list from math.OC) [pdf, other]

Title: Inexact Coordinate Descent: Complexity and Preconditioning

Rachael Tappenden, Peter Richtárik, Jacek Gondzio

Comments: 32 pages, 6 tables, 2 figures, 1 algorithm

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)

[373] arXiv:1304.5566 (cross-list from cs.DB) [pdf, other]

Title: A Markov Model for Ontology Alignment

Michael E. Cotterell, Terrance Medina

Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)

[374] arXiv:1304.5610 (cross-list from math.OC) [pdf, other]

Title: Tight Performance Bounds for Approximate Modified Policy Iteration with Non-Stationary Policies

Boris Lesner (INRIA Nancy - Grand Est / LORIA), Bruno Scherrer (INRIA Nancy - Grand Est / LORIA)

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI)

[375] arXiv:1304.5822 (cross-list from cs.GT) [pdf, other]

Title: Bargaining for Revenue Shares on Tree Trading Networks

Arpita Ghosh, Satyen Kale, Kevin Lang, Benjamin Moseley

Comments: An extended abstract of this paper appears in Proceedings of IJCAI 2013

Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)