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)

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

Title: The Stochastic Gradient Descent for the Primal L1-SVM Optimization Revisited

Constantinos Panagiotakopoulos, Petroula Tsampouka

Comments: In v2 the numerical results are obtained using the latest release 1.7 of Cygwin and the g++ compiler version 4.5.3. We also consider in the experiments the algorithms SvmSgd and SGD-QN. A slightly shorter version of this paper appeared in ECML/PKDD 2013

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

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

Title: An Algorithm for Training Polynomial Networks

Roi Livni, Shai Shalev-Shwartz, Ohad Shamir

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

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

Title: Relation-algebraic and Tool-supported Control of Condorcet Voting

Rudolf Berghammer, Henning Schnoor

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

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

Title: On Integrating Fuzzy Knowledge Using a Novel Evolutionary Algorithm

Nafisa Afrin Chowdhury, Murshida Khatun, M.M.A. Hashem

Journal-ref: Procs. of the IEEE 10th International Conference on Computer & Information Technology (ICCIT 2007), pp. 38-43, Dhaka, Bangladesh, December 27-29, (2007)

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

[380] arXiv:1304.7507 (cross-list from cs.CL) [pdf, other]

Title: Measuring Cultural Relativity of Emotional Valence and Arousal using Semantic Clustering and Twitter

Eugene Yuta Bann, Joanna J. Bryson

Comments: To be presented at the 35th Annual Meeting of the Cognitive Science Society (CogSci 2013), Berlin, Germany, Wednesday, July 31 - Saturday, August 3, 2013

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

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

Title: A Discrete State Transition Algorithm for Generalized Traveling Salesman Problem

Xiaolin Tang, Chunhua Yang, Xiaojun Zhou, Weihua Gui

Comments: 8 pages, 1 figure

Journal-ref: Advances in Global Optimization, 2015, 95:137-145

Subjects: Optimization and Control (math.OC); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

[382] arXiv:1304.7820 (cross-list from cs.SI) [pdf, other]

Title: Challenges on Probabilistic Modeling for Evolving Networks

Jianguo Ding, Pascal Bouvry

Comments: 18 pages. Book chapter. arXiv admin note: text overlap with arXiv:1012.0009 by other authors

Subjects: Social and Information Networks (cs.SI); Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)

[383] arXiv:1304.7855 (cross-list from cs.MS) [pdf, other]

Title: Enhancements to ACL2 in Versions 5.0, 6.0, and 6.1

Matt Kaufmann (University of Texas at Austin), J Strother Moore (University of Texas at Austin)

Comments: In Proceedings ACL2 2013, arXiv:1304.7123

Journal-ref: EPTCS 114, 2013, pp. 5-12

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

[384] arXiv:1304.7920 (cross-list from stat.OT) [pdf, other]

Title: From Ordinary Differential Equations to Structural Causal Models: the deterministic case

Joris M. Mooij, Dominik Janzing, Bernhard Schölkopf

Comments: Submitted to UAI 2013

Subjects: Other Statistics (stat.OT); Artificial Intelligence (cs.AI)