Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Computer Science

Authors and titles for February 2013

Total of 1370 entries : 1-250 251-500 501-750 751-1000 1001-1250 1251-1370
Showing up to 250 entries per page: fewer | more | all
[501] arXiv:1302.3577 [pdf, other]
Title: Learning Bayesian Networks with Local Structure
Nir Friedman, Moises Goldszmidt
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
[502] arXiv:1302.3578 [pdf, other]
Title: A Qualitative Markov Assumption and its Implications for Belief Change
Nir Friedman, Joseph Y. Halpern
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[503] arXiv:1302.3579 [pdf, other]
Title: On the Sample Complexity of Learning Bayesian Networks
Nir Friedman, Zohar Yakhini
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[504] arXiv:1302.3580 [pdf, other]
Title: Asymptotic Model Selection for Directed Networks with Hidden Variables
Dan Geiger, David Heckerman, Christopher Meek
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Machine Learning (stat.ML)
[505] arXiv:1302.3581 [pdf, other]
Title: Theoretical Foundations for Abstraction-Based Probabilistic Planning
Vu A. Ha, Peter Haddawy
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[506] arXiv:1302.3582 [pdf, other]
Title: Why Is Diagnosis Using Belief Networks Insensitive to Imprecision In Probabilities?
Max Henrion, Malcolm Pradhan, Brendan del Favero, Kurt Huang, Gregory M. Provan, Paul O'Rorke
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[507] arXiv:1302.3583 [pdf, other]
Title: Flexible Policy Construction by Information Refinement
Michael C. Horsch, David L. Poole
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[508] arXiv:1302.3584 [pdf, other]
Title: Efficient Search-Based Inference for Noisy-OR Belief Networks: TopEpsilon
Kurt Huang, Max Henrion
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[509] arXiv:1302.3585 [pdf, other]
Title: A Probabilistic Model For Sensor Validation
Pablo H. Ibarguengoytia, Luis Enrique Sucar, Sunil Vadera
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[510] arXiv:1302.3586 [pdf, other]
Title: Computing Upper and Lower Bounds on Likelihoods in Intractable Networks
Tommi S. Jaakkola, Michael I. Jordan
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[511] arXiv:1302.3587 [pdf, other]
Title: MIDAS - An Influence Diagram for Management of Mildew in Winter Wheat
Allan Leck Jensen, Finn Verner Jensen
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[512] arXiv:1302.3588 [pdf, other]
Title: Computational Complexity Reduction for BN2O Networks Using Similarity of States
Alexander V. Kozlov, Jaswinder Pal Singh
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[513] arXiv:1302.3589 [pdf, other]
Title: Uncertain Inferences and Uncertain Conclusions
Henry E. Kyburg Jr
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[514] arXiv:1302.3590 [pdf, other]
Title: Bayesian Learning of Loglinear Models for Neural Connectivity
Kathryn Blackmond Laskey, Laura Martignon
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC); Applications (stat.AP); Machine Learning (stat.ML)
[515] arXiv:1302.3591 [pdf, other]
Title: Network Engineering for Complex Belief Networks
Suzanne M. Mahoney, Kathryn Blackmond Laskey
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[516] arXiv:1302.3592 [pdf, other]
Title: Probabilistic Disjunctive Logic Programming
Liem Ngo
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[517] arXiv:1302.3593 [pdf, other]
Title: Toward a Market Model for Bayesian Inference
David M. Pennock, Michael P. Wellman
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)
[518] arXiv:1302.3594 [pdf, other]
Title: Geometric Implications of the Naive Bayes Assumption
Mark Alan Peot
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[519] arXiv:1302.3595 [pdf, other]
Title: Identifying Independencies in Causal Graphs with Feedback
Judea Pearl, Rina Dechter
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[520] arXiv:1302.3596 [pdf, other]
Title: A Graph-Theoretic Analysis of Information Value
Kim-Leng Poh, Eric J. Horvitz
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[521] arXiv:1302.3597 [pdf, other]
Title: A Framework for Decision-Theoretic Planning I: Combining the Situation Calculus, Conditional Plans, Probability and Utility
David L. Poole
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[522] arXiv:1302.3598 [pdf, other]
Title: Optimal Monte Carlo Estimation of Belief Network Inference
Malcolm Pradhan, Paul Dagum
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[523] arXiv:1302.3599 [pdf, other]
Title: A Discovery Algorithm for Directed Cyclic Graphs
Thomas S. Richardson
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[524] arXiv:1302.3600 [pdf, other]
Title: A Polynomial-Time Algorithm for Deciding Markov Equivalence of Directed Cyclic Graphical Models
Thomas S. Richardson
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[525] arXiv:1302.3601 [pdf, other]
Title: Coherent Knowledge Processing at Maximum Entropy by SPIRIT
Wilhelm Roedder, Carl-Heinz Meyer
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[526] arXiv:1302.3602 [pdf, other]
Title: Sample-and-Accumulate Algorithms for Belief Updating in Bayes Networks
Eugene Santos Jr., Solomon Eyal Shimony, Edward Williams
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[527] arXiv:1302.3603 [pdf, other]
Title: A Measure of Decision Flexibility
Ross D. Shachter, Marvin Mandelbaum
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[528] arXiv:1302.3604 [pdf, other]
Title: Binary Join Trees
Prakash P. Shenoy
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[529] arXiv:1302.3605 [pdf, other]
Title: Efficient Enumeration of Instantiations in Bayesian Networks
Sampath Srinivas, Pandurang Nayak
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[530] arXiv:1302.3606 [pdf, other]
Title: On Separation Criterion and Recovery Algorithm for Chain Graphs
Milan Studeny
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[531] arXiv:1302.3607 [pdf, other]
Title: Possible World Partition Sequences: A Unifying Framework for Uncertain Reasoning
Choh Man Teng
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[532] arXiv:1302.3608 [pdf, other]
Title: Supply Restoration in Power Distribution Systems - A Case Study in Integrating Model-Based Diagnosis and Repair Planning
Sylvie Thiebaux, Marie-Odile Cordier, Olivier Jehl, Jean-Paul Krivine
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[533] arXiv:1302.3609 [pdf, other]
Title: Real Time Estimation of Bayesian Networks
Robert L. Welch
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[534] arXiv:1302.3610 [pdf, other]
Title: Testing Implication of Probabilistic Dependencies
Michael S. K. M. Wong
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[535] arXiv:1302.3611 [pdf, other]
Title: Optimal Factory Scheduling using Stochastic Dominance A*
Peter R. Wurman, Michael P. Wellman
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[536] arXiv:1302.3612 [pdf, other]
Title: Critical Remarks on Single Link Search in Learning Belief Networks
Yang Xiang, Michael S. K. M. Wong, N. Cercone
Comments: Appears in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996)
Subjects: Artificial Intelligence (cs.AI)
[537] arXiv:1302.3660 [pdf, other]
Title: On Zero Delay Source-Channel Coding
Emrah Akyol, Kumar Viswanatha, Kenneth Rose, Tor Ramstad
Comments: Submitted to IEEE Transactions on Information Theory, 18 pages, 10 figures
Subjects: Information Theory (cs.IT)
[538] arXiv:1302.3663 [pdf, other]
Title: Spatially Heterogeneous Biofilm Simulations using an Immersed Boundary Method with Lagrangian Nodes Defined by Bacterial Locations
Jason F. Hammond, Elizabeth J. Stewart, John G. Younger, Michael J. Solomon, David M. Bortz
Comments: 43 pages, 18 figures, 9 tables
Subjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE); Fluid Dynamics (physics.flu-dyn)
[539] arXiv:1302.3668 [pdf, other]
Title: Bio-inspired data mining: Treating malware signatures as biosequences
Ajit Narayanan, Yi Chen
Subjects: Machine Learning (cs.LG); Quantitative Methods (q-bio.QM); Machine Learning (stat.ML)
[540] arXiv:1302.3669 [pdf, other]
Title: On a numerical algorithm for computing topological characteristics of three-dimensional bodies
Ya.V. Bazaikin, I.A. Taimanov
Comments: 13 pages
Journal-ref: Zh. Vychisl. Mat. Mat. Fiz. 53:4 (2013), 523-530
Subjects: Computational Geometry (cs.CG); Algebraic Topology (math.AT)
[541] arXiv:1302.3672 [pdf, other]
Title: A Polynomial Time Algorithm for Finding Area-Universal Rectangular Layouts
Jiun-Jie Wang
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)
[542] arXiv:1302.3673 [pdf, other]
Title: Global Optimal Solutions to General Sensor Network Localization Problem
Ning Ruan, David Y Gao
Comments: 29 pages, 8 figures
Subjects: Computational Complexity (cs.CC)
[543] arXiv:1302.3681 [pdf, other]
Title: On Weak Dress Codes for Cloud Storage
Manish K Gupta, Anupam Agrawal, Deepak Yadav
Comments: 6 pages, 7 figures, submitted to NetCod 2013
Subjects: Information Theory (cs.IT)
[544] arXiv:1302.3697 [pdf, other]
Title: How to evaluate individual researchers working in the natural and life sciences meaningfully? A proposal of methods based on percentiles of citations
Lutz Bornmann, Werner Marx
Comments: Accepted for publication in Scientometrics
Subjects: Digital Libraries (cs.DL); Physics and Society (physics.soc-ph); Applications (stat.AP)
[545] arXiv:1302.3702 [pdf, other]
Title: A Fresnelet-Based Encryption of Medical Images using Arnold Transform
Muhammad Nazeer, Bibi Nargis, Yasir Mehmood Malik, Dai-Gyoung Kim
Comments: 16 pages, 11 figures, Journal Paper
Subjects: Cryptography and Security (cs.CR); Computer Vision and Pattern Recognition (cs.CV)
[546] arXiv:1302.3705 [pdf, other]
Title: Partial Third-Party Information Exchange with Network Coding
Xiumin Wang, Chau Yuen
Comments: network coding
Journal-ref: IEEE Communications Letters, 2013
Subjects: Information Theory (cs.IT)
[547] arXiv:1302.3720 [pdf, other]
Title: Energy-aware checkpointing of divisible tasks with soft or hard deadlines
Guillaume Aupy, Anne Benoit, Rami Melhem, Paul Renaud-Goud, Yves Robert
Comments: This work was supported by ANR Rescue
Subjects: Data Structures and Algorithms (cs.DS)
[548] arXiv:1302.3721 [pdf, other]
Title: Thompson Sampling in Switching Environments with Bayesian Online Change Point Detection
Joseph Mellor, Jonathan Shapiro
Comments: A version will appear in the Sixteenth international conference on Artificial Intelligence and Statistics (AIStats 2013)
Subjects: Machine Learning (cs.LG)
[549] arXiv:1302.3723 [pdf, other]
Title: Computing preimages of Boolean Networks
Johannes Georg Klotz, Martin Bossert, Steffen Schober
Comments: Submitted to WCSB 2013
Subjects: Information Theory (cs.IT)
[550] arXiv:1302.3726 [pdf, other]
Title: Improved upper and lower bound techniques for monotone switching networks for directed connectivity
Aaron Potechin
Comments: 48 pages, 0 figures
Subjects: Data Structures and Algorithms (cs.DS); Networking and Internet Architecture (cs.NI)
[551] arXiv:1302.3734 [pdf, other]
Title: Wavelet methods in multi-conjugate adaptive optics
Tapio Helin, Mykhaylo Yudytskiy
Subjects: Numerical Analysis (math.NA); Instrumentation and Methods for Astrophysics (astro-ph.IM)
[552] arXiv:1302.3741 [pdf, other]
Title: Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata
Alistair Stewart, Kousha Etessami, Mihalis Yannakakis
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[553] arXiv:1302.3749 [pdf, other]
Title: Effective System for Pregnant Women using Mobile GIS
Ayad Ghany Ismaeel, Emad Khadhm Jabar
Comments: 7 pages,10 Figures, 4 Tables
Journal-ref: http://www.ijcaonline.org/archives/volume64/number11/10675-5547 (2013)
Subjects: Computers and Society (cs.CY)
[554] arXiv:1302.3752 [pdf, other]
Title: Checkpointing algorithms and fault prediction
Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni
Comments: Supported in part by ANR Rescue. Published in Journal of Parallel and Distributed Computing. arXiv admin note: text overlap with arXiv:1207.6936
Journal-ref: Journal of Parallel and Distributed Computing, Available online 7 November 2013, ISSN 0743-7315
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[555] arXiv:1302.3763 [pdf, other]
Title: Faster exponential-time algorithms in graphs of bounded average degree
Marek Cygan, Marcin Pilipczuk
Comments: 10 pages
Subjects: Data Structures and Algorithms (cs.DS)
[556] arXiv:1302.3777 [pdf, other]
Title: Capacity of the State-Dependent Half-Duplex Relay Channel Without Source-Destination Link
Nikola Zlatanov, Robert Schober
Comments: Withdrawn by the author due to errors
Subjects: Information Theory (cs.IT)
[557] arXiv:1302.3784 [pdf, other]
Title: Algorithms for Enhanced Inter Cell Interference Coordination (eICIC) in LTE HetNets
Supratim Deb, Pantelis Monogioudis, Jerzy Miernik, James P. Seymour
Comments: Accepted to appear in IEEE/ACM Transactions on Networking
Subjects: Networking and Internet Architecture (cs.NI)
[558] arXiv:1302.3785 [pdf, other]
Title: Analysis of Descent-Based Image Registration
Elif Vural, Pascal Frossard
Journal-ref: SIAM Journal on Imaging Sciences, Vol. 6, No. 4, pp 2310-2349, 2013
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[559] arXiv:1302.3793 [pdf, other]
Title: On the Communication Complexity of Approximate Nash Equilibria
Paul Goldberg, Arnoud Pastink
Comments: 18 pages; preliminary version appeared at 2012 SAGT
Subjects: Computer Science and Game Theory (cs.GT)
[560] arXiv:1302.3798 [pdf, other]
Title: Silent Transitions in Automata with Storage
Georg Zetzsche
Comments: 32 pages, submitted
Subjects: Formal Languages and Automata Theory (cs.FL)
[561] arXiv:1302.3800 [pdf, other]
Title: An Enhanced Spectral Efficiency Chaos-Based Symbolic Dynamics Transceiver Design
Georges Kaddoum, Francois Gagnon, Denis Couillard
Comments: 6 pages, 7 figues, accepted in International Conference on. Signal Processing and Communication Systems
Subjects: Information Theory (cs.IT)
[562] arXiv:1302.3809 [pdf, other]
Title: Variable density preserving topology grids and the digital models for the plane
Alexander Evako
Comments: 7 pages, 6 figures
Subjects: Discrete Mathematics (cs.DM)
[563] arXiv:1302.3820 [pdf, other]
Title: Breathfinding: A Wireless Network that Monitors and Locates Breathing in a Home
Neal Patwari, Lara Brewer, Quinn Tate, Ossi Kaltiokallio, Maurizio Bocca
Subjects: Human-Computer Interaction (cs.HC)
[564] arXiv:1302.3826 [pdf, other]
Title: Quickest Search Over Multiple Sequences with Mixed Observations
Jun Geng, Weiyu Xu, Lifeng Lai
Comments: 5 pages, 5 figures
Subjects: Information Theory (cs.IT)
[565] arXiv:1302.3828 [pdf, other]
Title: Rumor Spreading in Random Evolving Graphs
Andrea Clementi, Pierluigi Crescenzi, Carola Doerr, Pierre Fraigniaud, Marco Isopi, Alessandro Panconesi, Francesco Pasquale, Riccardo Silvestri
Subjects: Discrete Mathematics (cs.DM); Distributed, Parallel, and Cluster Computing (cs.DC); Social and Information Networks (cs.SI); Probability (math.PR)
[566] arXiv:1302.3831 [pdf, other]
Title: Quantum Entanglement in Concept Combinations
Diederik Aerts, Sandro Sozzo
Comments: 16 pages, no figures
Journal-ref: International Journal of Theoretical Physics, 53, pp. 3587-3603, 2014
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Quantum Physics (quant-ph)
[567] arXiv:1302.3834 [pdf, other]
Title: Non-Bayesian Quickest Detection with Stochastic Sample Right Constraints
Jun Geng, Lifeng Lai
Comments: 30 pages, 5 figures
Subjects: Information Theory (cs.IT)
[568] arXiv:1302.3857 [pdf, other]
Title: Technical Report: Cooperative Multi-Target Localization With Noisy Sensors
Philip Dames, Vijay Kumar
Comments: Extended version of paper accepted to 2013 IEEE International Conference on Robotics and Automation (ICRA)
Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA)
[569] arXiv:1302.3860 [pdf, other]
Title: ScalienDB: Designing and Implementing a Distributed Database using Paxos
Márton Trencséni, Attila Gazsó
Comments: 18 pages, 4 figures
Subjects: Databases (cs.DB); Distributed, Parallel, and Cluster Computing (cs.DC)
[570] arXiv:1302.3862 [pdf, other]
Title: GEMINI: A Generic Multi-Modal Natural Interface Framework for Videogames
Luís Filipe Teófilo, Pedro Alves Nogueira, Pedro Brandão Silva
Comments: WorldCIST'13 Internacional Conference
Subjects: Human-Computer Interaction (cs.HC)
[571] arXiv:1302.3876 [pdf, other]
Title: An Efficient Implementation of the Ensemble Kalman Filter Based on an Iterative Sherman-Morrison Formula
Elias D. Nino-Ruiz, Adrian Sandu, Jeffrey Anderson
Journal-ref: Statistics and Computing, ISSN:0960-3174, PP: 1-17, Feb 2014
Subjects: Numerical Analysis (math.NA)
[572] arXiv:1302.3889 [pdf, other]
Title: Power Strip Packing of Malleable Demands in Smart Grid
Mohammad M. Karbasioun, Gennady Shaikhet, Evangelos Kranakis, Ioannis Lambadaris
Subjects: Data Structures and Algorithms (cs.DS)
[573] arXiv:1302.3894 [pdf, other]
Title: A framework for automated PDE-constrained optimisation
S. W. Funke, P. E. Farrell
Subjects: Mathematical Software (cs.MS)
[574] arXiv:1302.3900 [pdf, other]
Title: Robust Image Segmentation in Low Depth Of Field Images
Franz Graf, Hans-Peter Kriegel, Michael Weiler
Comments: Extended Version of the short paper published in "Robust Image Segmentation in Low Depth Of Field Images", IEEE International Conference on Image Processing 2011 (ICIP). The paper contains a lot more details about the algorithm and more evaluation
Journal-ref: Extended Version of "Robust Image Segmentation in Low Depth Of Field Images", IEEE International Conference on Image Processing 2011 (ICIP)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[575] arXiv:1302.3901 [pdf, other]
Title: Enhanced secure key exchange systems based on the Johnson-noise scheme
Laszlo B. Kish
Comments: This version is accepted for publication
Journal-ref: Metrology and Measurement Systems 20 (2013) 191-204 (open access)
Subjects: Cryptography and Security (cs.CR); Emerging Technologies (cs.ET)
[576] arXiv:1302.3906 [pdf, other]
Title: Maximal Syntactic Complexity of Regular Languages Implies Maximal Quotient Complexities of Atoms
Janusz Brzozowski, Gareth Davies
Comments: 12 pages, 2 figures, 4 tables
Subjects: Formal Languages and Automata Theory (cs.FL)
[577] arXiv:1302.3912 [pdf, other]
Title: An Online Environment for Democratic Deliberation: Motivations, Principles, and Design
Todd Davies, Brendan O'Connor, Alex Cochran, Jonathan J. Effrat, Andrew Parker, Benjamin Newman, Aaron Tam
Comments: Appeared in Todd Davies and Seeta Peña Gangadharan (Editors), Online Deliberation: Design, Research, and Practice, CSLI Publications/University of Chicago Press, October 2009, pp. 275-292; 18 pages, 3 figures
Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY); Social and Information Networks (cs.SI)
[578] arXiv:1302.3917 [pdf, other]
Title: k-d Darts: Sampling by k-Dimensional Flat Searches
Mohamed S. Ebeida, Anjul Patney, Scott A. Mitchell, Keith R. Dalbey, Andrew A. Davidson, John D. Owens
Comments: 19 pages 16 figures
Journal-ref: Transactions on Graphics, vol. 33, no. 1 (Jan 2014) pp. 3:1--3:16
Subjects: Graphics (cs.GR)
[579] arXiv:1302.3918 [pdf, other]
Title: Using Correlated Subset Structure for Compressive Sensing Recovery
Atul Divekar, Deanna Needell
Subjects: Information Theory (cs.IT); Numerical Analysis (math.NA)
[580] arXiv:1302.3921 [pdf, other]
Title: Support detection in super-resolution
Carlos Fernandez-Granda
Subjects: Information Theory (cs.IT); Numerical Analysis (math.NA); Optimization and Control (math.OC)
[581] arXiv:1302.3931 [pdf, other]
Title: Understanding Boltzmann Machine and Deep Learning via A Confident Information First Principle
Xiaozhao Zhao, Yuexian Hou, Qian Yu, Dawei Song, Wenjie Li
Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG); Machine Learning (stat.ML)
[582] arXiv:1302.3932 [pdf, other]
Title: Real-Time Power Balancing via Decentralized Coordinated Home Energy Scheduling
Tsung-Hui Chang, Mahnoosh Alizadeh, Anna Scaglione
Comments: To appear in IEEE Transactions on Smart Grid
Subjects: Systems and Control (eess.SY); Information Theory (cs.IT)
[583] arXiv:1302.3946 [pdf, other]
Title: Approximating the optimal competitive ratio for an ancient online scheduling problem
Lin Chen, Deshi Ye, Guochuan Zhang
Comments: 21 pages
Subjects: Data Structures and Algorithms (cs.DS)
[584] arXiv:1302.3956 [pdf, other]
Title: Clustering validity based on the most similarity
Raheleh Namayandeh, Farzad Didehvar, Zahra Shojaei
Comments: 4 pages,2 figueres, 6 tables
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[585] arXiv:1302.3969 [pdf, other]
Title: Coordination Control of Heterogeneous Compounded-Order Multi-Agent Systems with Communication Delays
Hong-yong Yang, Lei Guo, Xun-lin Zhu, Ke-cai Cao
Comments: 15pages, 4figures
Subjects: Systems and Control (eess.SY)
[586] arXiv:1302.3971 [pdf, other]
Title: Directed Information on Abstract Spaces: Properties and Variational Equalities
Charalambos D. Charalambous, Photios A. Stavrou
Comments: 49 pages, 2 figures, Submitted for publication to IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT); Functional Analysis (math.FA); Optimization and Control (math.OC); Probability (math.PR)
[587] arXiv:1302.3982 [pdf, other]
Title: Distributed boundary tracking using alpha and Delaunay-Cech shapes
Harish Chintakunta, Hamid Krim
Subjects: Computational Geometry (cs.CG)
[588] arXiv:1302.3988 [pdf, other]
Title: A solution concept for games with altruism and cooperation
Valerio Capraro
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI)
[589] arXiv:1302.4006 [pdf, other]
Title: Generic Strategies for Chemical Space Exploration
Jakob L. Andersen, Christoph Flamm, Daniel Merkle, Peter F. Stadler
Subjects: Formal Languages and Automata Theory (cs.FL); Biomolecules (q-bio.BM)
[590] arXiv:1302.4010 [pdf, other]
Title: Tap-Wave-Rub: Lightweight Malware Prevention for Smartphones Using Intuitive Human Gestures
Haoyu Li, Di Ma, Nitesh Saxena, Babins Shrestha, Yan Zhu
Comments: 13 pages, 4 figures, 2 tables, partial of this extended technical report appears as a short paper in ACM WiSec'13
Subjects: Cryptography and Security (cs.CR)
[591] arXiv:1302.4014 [pdf, other]
Title: Digital morphogenesis via Schelling segregation
George Barmpalias, Richard Elwes, Andy Lewis-Pye
Subjects: Computer Science and Game Theory (cs.GT)
[592] arXiv:1302.4016 [pdf, other]
Title: Full-fledged Real-Time Indexing for Constant Size Alphabets
Gregory Kucherov, Yakov Nekrich
Subjects: Data Structures and Algorithms (cs.DS)
[593] arXiv:1302.4019 [pdf, other]
Title: Decentralized Event-Triggering for Control of Nonlinear Systems
Pavankumar Tallapragada, Nikhil Chopra
Journal-ref: IEEE Transactions on Automatic Control, vol.59, no.12, pp.3312,3324, 2014
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[594] arXiv:1302.4020 [pdf, other]
Title: Topological Interference Management with Alternating Connectivity
Hua Sun, Chunhua Geng, Syed A. Jafar
Subjects: Information Theory (cs.IT)
[595] arXiv:1302.4030 [pdf, other]
Title: Modeling and Performance Analysis of Pull-Based Live Streaming Schemes in Peer-to-Peer Network
Jianwei Zhang, Wei Xing, Yongchao Wang, Dongming Lu
Journal-ref: Computer Communications, vol. 40, pp. 22-32, Mar. 2014
Subjects: Networking and Internet Architecture (cs.NI)
[596] arXiv:1302.4043 [pdf, other]
Title: A new scheme of signature extraction for iris authentication
Belhassen Akrout, Imen Khanfir Kallel, Chokri Ben Amar
Comments: 7 pages, 13 figures,International Multi-Conference on Systems Signals and Devices
Journal-ref: IEEE 6th International Multi-Conference on Systems, Signals and Devices. (2009) 1-8
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[597] arXiv:1302.4046 [pdf, other]
Title: Design and Implementation of an IP based authentication mechanism for Open Source Proxy Servers in Interception Mode
Tejaswi Agarwal, Mike A. Leonetti
Comments: 11 pages, Authenticating Clients in Transparent/ Interception Mode, Squid Proxy Server
Journal-ref: Advanced Computing: An International Journal, Vol 4, Number 1, January 2013
Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR)
[598] arXiv:1302.4053 [pdf, other]
Title: Mapping Academic Institutions According to Their Journal Publication Profile: Spanish Universities as a Case Study
J.A. García, Rosa Rodríguez-Sánchez, J. Fdez-Valdivia, Nicolas Robinson-García, Daniel Torres-Salinas
Comments: Published in Journal of the American Society of Information Science and Technology, 2012: 63(11), 2328-2340
Journal-ref: Garcia, J. et al. (2012). Mapping Academic Institutions According to Their Journal Publication Profile: Spanish Universities as a Case Study. Journal of the American Society for Information Science and Technology, 63(11): 2328-2340
Subjects: Digital Libraries (cs.DL)
[599] arXiv:1302.4059 [pdf, other]
Title: Distributed Deterministic Broadcasting in Uniform-Power Ad Hoc Wireless Networks
Tomasz Jurdzinski, Dariusz R.Kowalski, Grzegorz Stachowiak
Comments: arXiv admin note: substantial text overlap with arXiv:1207.6732
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[600] arXiv:1302.4061 [pdf, other]
Title: The Sensemaking-Coevolution-Implementation Theory of Software Design
Paul Ralph
Comments: 7 tables, 7 Figures, 157 references
Journal-ref: Science of Computer Programming Volume 101, 1 April 2015, Pages 21-41
Subjects: Software Engineering (cs.SE)
[601] arXiv:1302.4062 [pdf, other]
Title: Upper and lower bound on the cardinality containing shortest vectors in a lattice reduced by block Korkin-Zolotarev method (Russian)
Vasiliy Usatyuk
Comments: in Russian, 14 pages, 3 figures
Subjects: Discrete Mathematics (cs.DM)
[602] arXiv:1302.4064 [pdf, other]
Title: Order Preserving Matching
Jinil Kim, Peter Eades, Rudolf Fleischer, Seok-Hee Hong, Costas S. Iliopoulos, Kunsoo Park, Simon J. Puglisi, Takeshi Tokuyama
Comments: 15 pages; submitted to Theoretical Computer Science, 5 Dec 2012; presented at Theo Murphy International Scientific Meeting of the Royal Society on Storage and Indexing of Massive Data, 7 Feb 2013
Subjects: Data Structures and Algorithms (cs.DS)
[603] arXiv:1302.4085 [pdf, other]
Title: Comprehensive Resource Measurement and Analysis for HPC Systems with TACC_Stats
Charng-Da Lu
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)
[604] arXiv:1302.4118 [pdf, other]
Title: Target Estimation in Colocated MIMO Radar via Matrix Completion
Shunqiao Sun, Athina P. Petropulu, Waheed U. Bajwa
Comments: 5 pages, ICASSP 2013
Journal-ref: Proc. IEEE Intl. Conf. Acoustics, Speech, and Signal Processing, Vancouver, Canada, May 26-31, 2013, pp. 4144-4148
Subjects: Information Theory (cs.IT); Applications (stat.AP)
[605] arXiv:1302.4127 [pdf, other]
Title: Adaptive Set-Membership Reduced-Rank Least Squares Beamforming Algorithms
Lei Wang, Rodrigo C. de Lamare
Comments: 2 figures
Journal-ref: Proceedings of Asilomar Conference on Signals Systems and Computers, 2010
Subjects: Information Theory (cs.IT)
[606] arXiv:1302.4128 [pdf, other]
Title: Low Delay MAC Scheduling for Frequency-agile Multi-radio Wireless Networks
Avhishek Chatterjee, Supratim Deb, Kanthi Nagaraj, Vikram Srinivasan
Comments: Accepted to appear in IEEE Journal on Selected Areas in Communication (JSAC) - Cognitive Radio Series, 2013
Subjects: Networking and Internet Architecture (cs.NI)
[607] arXiv:1302.4129 [pdf, other]
Title: Repair-Optimal MDS Array Codes over GF(2)
Eyal En Gad, Robert Mateescu, Filip Blagojevic, Cyril Guyot, Zvonimir Bandic
Comments: 5 pages, submitted to ISIT 2013
Subjects: Information Theory (cs.IT)
[608] arXiv:1302.4130 [pdf, other]
Title: Adaptive Minimum BER Reduced-Rank Interference Suppression Algorithms Based on Joint and Iterative Optimization of Parameters
Yunlong Cai, Rodrigo C. de Lamare
Comments: 3 figures
Journal-ref: IEEE Communications Letters, 2012
Subjects: Information Theory (cs.IT)
[609] arXiv:1302.4133 [pdf, other]
Title: The (Un)Reliability of NVD Vulnerable Versions Data: an Empirical Experiment on Google Chrome Vulnerabilities
Viet Hung Nguyen, Fabio Massacci
Subjects: Cryptography and Security (cs.CR)
[610] arXiv:1302.4136 [pdf, other]
Title: Post-buckling Solutions of Hyper-elastic Beam by Canonical Dual Finite Element Method
Kun Cai, David Y. Gao, Qing H. Qin
Comments: 20 pages
Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA)
[611] arXiv:1302.4138 [pdf, other]
Title: Multi-parameter Mechanisms with Implicit Payment Computation
Moshe Babaioff, Robert Kleinberg, Aleksandrs Slivkins
Comments: This is a full version of a paper in ACM EC 2013
Subjects: Computer Science and Game Theory (cs.GT)
[612] arXiv:1302.4141 [pdf, other]
Title: Canonical dual solutions to nonconvex radial basis neural network optimization problem
Vittorio Latorre, David Yang Gao
Comments: 10 pages, 7 figures, one table
Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG); Machine Learning (stat.ML)
[613] arXiv:1302.4146 [pdf, other]
Title: Linear Network Error Correction Multicast/Broadcast/Dispersion Codes
Xuan Guang, Fang-Wei Fu
Comments: 5 pages, submitted to ISIT 2013
Subjects: Information Theory (cs.IT)
[614] arXiv:1302.4147 [pdf, other]
Title: The Failure Probability of Random Linear Network Coding for Networks
Xuan Guang, Fang-Wei Fu
Comments: 5 pages, submitted to ISIT 2013. And add the interpretation of the notation $CUT_{t,k}^{out}$ to original manuscript (in column 2, page 2) submitted
Subjects: Information Theory (cs.IT)
[615] arXiv:1302.4168 [pdf, other]
Title: Data Placement and Replica Selection for Improving Co-location in Distributed Environments
K. Ashwin Kumar, Amol Deshpande, Samir Khuller
Comments: 12 pages, 22 figures
Subjects: Databases (cs.DB); Distributed, Parallel, and Cluster Computing (cs.DC)
[616] arXiv:1302.4172 [pdf, other]
Title: Reduction in Packet Delay Through the use of Common Buffer over Distributed Buffer in the Routing Node of NOC Architecture
Nilesh A. Mohota, Sanjay L. Badjate
Comments: 8 Pages, 10 Figures, 2 Tables
Journal-ref: International Journal of Innovative Technology and Creative Engineering, ISSN : 2045-8711, December 2012 Issue, Volume2, No. 12
Subjects: Hardware Architecture (cs.AR)
[617] arXiv:1302.4187 [pdf, other]
Title: The Relationship between Craig Interpolation and Recursion-Free Horn Clauses
Philipp Rümmer (Uppsala University), Hossein Hojjat (EPFL Lausanne), Viktor Kuncak (EPFL Lausanne)
Comments: 20 pages
Subjects: Logic in Computer Science (cs.LO)
[618] arXiv:1302.4201 [pdf, other]
Title: The Future of Mobile Security
Stefan Certic
Subjects: Cryptography and Security (cs.CR)
[619] arXiv:1302.4205 [pdf, other]
Title: Fresh-Variable Automata for Service Composition
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
Comments: 28 pages. 4 Figures
Subjects: Formal Languages and Automata Theory (cs.FL)
[620] arXiv:1302.4207 [pdf, other]
Title: A composition theorem for decision tree complexity
Ashley Montanaro
Comments: 7 pages
Subjects: Computational Complexity (cs.CC)
[621] arXiv:1302.4213 [pdf, other]
Title: A Robust AFPTAS for Online Bin Packing with Polynomial Migration
Klaus Jansen, Kim-Manuel Klein
Subjects: Data Structures and Algorithms (cs.DS)
[622] arXiv:1302.4216 [pdf, other]
Title: Online Checkpointing with Improved Worst-Case Guarantees
Karl Bringmann, Benjamin Doerr, Adrian Neumann, Jakub Sliacan
Comments: 25 pages, 5 figures. ICALP 2013
Subjects: Data Structures and Algorithms (cs.DS)
[623] arXiv:1302.4225 [pdf, other]
Title: Impact of Pointing Errors on the Performance of Mixed RF/FSO Dual-Hop Transmission Systems
Imran Shafique Ansari, Ferkan Yilmaz, Mohamed-Slim Alouini
Comments: 6 pages, 3 figures
Subjects: Information Theory (cs.IT); Performance (cs.PF); Probability (math.PR)
[624] arXiv:1302.4233 [pdf, other]
Title: The Robust Digital Image Watermarking using Quantization and Fuzzy Logic Approach in DWT Domain
Nallagarla Ramamurthy, S.Varadarajan
Comments: 7 pages, 11 figures, IJCSN Journal
Subjects: Multimedia (cs.MM); Cryptography and Security (cs.CR)
[625] arXiv:1302.4242 [pdf, other]
Title: Metrics for Multivariate Dictionaries
Sylvain Chevallier, Quentin Barthélemy, Jamal Atif
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[626] arXiv:1302.4248 [pdf, other]
Title: Looking at Mean-Payoff and Total-Payoff through Windows
Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin
Comments: Extended version of ATVA 2013 version. Full version to appear in Information and Computation
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
[627] arXiv:1302.4258 [pdf, other]
Title: Phase Retrieval via Structured Modulations in Paley-Wiener Spaces
Fanny Yang, Volker Pohl, Holger Boche
Comments: Submitted to SAMPTA 2013
Subjects: Information Theory (cs.IT)
[628] arXiv:1302.4266 [pdf, other]
Title: Model Checking Lower Bounds for Simple Graphs
Michael Lampis (Research Institute for Mathematical Sciences (RIMS), Kyoto University)
Journal-ref: Logical Methods in Computer Science, Volume 10, Issue 1 (March 25, 2014) lmcs:976
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[629] arXiv:1302.4268 [pdf, other]
Title: Re-Encoding Techniques for Interpolation-Based Decoding of Reed-Solomon Codes
Christian Senger
Comments: 5 pages
Subjects: Information Theory (cs.IT)
[630] arXiv:1302.4269 [pdf, other]
Title: Anisotropic finite elements with high aspect ratio for an Asymptotic Preserving method for highly anisotropic elliptic equation
Jacek Narski
Subjects: Numerical Analysis (math.NA)
[631] arXiv:1302.4280 [pdf, other]
Title: Asynchronous MPI for the Masses
Markus Wittmann, Georg Hager, Thomas Zeiser, Gerhard Wellein
Comments: 12 pages, 5 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)
[632] arXiv:1302.4283 [pdf, other]
Title: On the Fly Self-Organized Base Station Placement
Hirley Alves, Mehdi Bennis, Walid Saad, Mérouane Debbah, Matti Latva-aho
Comments: This paper has been withdrawn because this isnt the final version of the manuscript
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[633] arXiv:1302.4297 [pdf, other]
Title: Feature Multi-Selection among Subjective Features
Sivan Sabato, Adam Kalai
Journal-ref: S. Sabato and A. Kalai, "Feature Multi-Selection among Subjective Features", Proceedings of the 30th International Conference on Machine Learning (ICML), 2013
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[634] arXiv:1302.4317 [pdf, other]
Title: Introducing One Step Back Iterative Approach to Solve Linear and Non Linear Fixed Point Problem
Dohy Hong
Comments: 2 pages
Subjects: Numerical Analysis (math.NA)
[635] arXiv:1302.4332 [pdf, other]
Title: Streaming Data from HDD to GPUs for Sustained Peak Performance
Lucas Beyer (1), Paolo Bientinesi (1), ((1) AICES, RWTH Aachen)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Engineering, Finance, and Science (cs.CE); Mathematical Software (cs.MS); Genomics (q-bio.GN)
[636] arXiv:1302.4347 [pdf, other]
Title: Large Neighborhood Local Search for the Maximum Set Packing Problem
Maxim Sviridenko, Justin Ward
Subjects: Data Structures and Algorithms (cs.DS)
[637] arXiv:1302.4350 [pdf, other]
Title: Generalizations of the Los-Tarski Preservation Theorem
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
Comments: Added 2 new results: (a) A preservation theorem providing a semantic characterization of Σ^0_n theories for each natural number n (which builds on our generalization of the existential amalgamation theorem) (b) Theories in PSC(k) and PSC_f are equivalent to Σ^0_2 theories and that the latter are strictly more general than the former. These results are in Sections 8 and 9
Subjects: Logic in Computer Science (cs.LO)
[638] arXiv:1302.4381 [pdf, other]
Title: Reasoning about Independence in Probabilistic Models of Relational Data
Marc Maier, Katerina Marazopoulou, David Jensen
Comments: 61 pages, substantial revisions to formalisms, theory, and related work
Subjects: Artificial Intelligence (cs.AI)
[639] arXiv:1302.4382 [pdf, other]
Title: Finite element computation of elliptical vocal tract impedances using the two-microphone transfer function method
Marc Arnela, Oriol Guasch
Subjects: Sound (cs.SD); Classical Physics (physics.class-ph)
[640] arXiv:1302.4384 [pdf, other]
Title: Citation impacts revisited: how novel impact measures reflect interdisciplinarity and structural change at the local and global level
Michel Zitt, Jean-Philippe Cointet
Comments: submitted to ISSI 2013, Vienna
Subjects: Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)
[641] arXiv:1302.4387 [pdf, other]
Title: Online Learning with Switching Costs and Other Adaptive Adversaries
Nicolo Cesa-Bianchi, Ofer Dekel, Ohad Shamir
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[642] arXiv:1302.4391 [pdf, other]
Title: Constructing a genome assembly that has the maximum likelihood
Mohammadreza Ghodsi
Subjects: Computational Engineering, Finance, and Science (cs.CE); Data Structures and Algorithms (cs.DS)
[643] arXiv:1302.4400 [pdf, other]
Title: Quasi-Parallel Segments and Characterization of Unique Bichromatic Matchings
Andrei Asinowski, Tillmann Miltzow, Günter Rote
Comments: 31 pages, 24 figures
Journal-ref: Journal of Computational Geometry 6 (2015), 185-219
Subjects: Computational Geometry (cs.CG)
[644] arXiv:1302.4405 [pdf, other]
Title: Performance Regions in Compressed Sensing from Noisy Measurements
Junan Zhu, Dror Baron
Comments: Accepted by CISS2013
Subjects: Information Theory (cs.IT)
[645] arXiv:1302.4406 [pdf, other]
Title: Optimal Scheduling for Linear-Rate Multi-Mode Systems
Dominik Wojtczak
Subjects: Formal Languages and Automata Theory (cs.FL); Systems and Control (eess.SY)
[646] arXiv:1302.4412 [pdf, other]
Title: Recommending Given Names
Folke Mitzlaff, Gerd Stumme
Comments: Baseline results for the ECML PKDD Discovery Challenge 2013
Subjects: Information Retrieval (cs.IR); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[647] arXiv:1302.4414 [pdf, other]
Title: Approximation Algorithms for Energy Minimization in Cloud Service Allocation under Reliability Constraints
Olivier Beaumont (LaBRI, INRIA Bordeaux - Sud-Ouest), Philippe Duchon (LaBRI, INRIA Bordeaux - Sud-Ouest), Paul Renaud-Goud (LaBRI)
Journal-ref: N° RR-8241 (2013)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[648] arXiv:1302.4421 [pdf, other]
Title: Towards a theory of good SAT representations
Matthew Gwynne, Oliver Kullmann
Comments: 59 pages; second version with some extended discussions and editorial corrections, third version with extended introduction, more examples and explanations, and some editorial improvements, fourth version with further examples, explanations and discussions, and with added computational experiments
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[649] arXiv:1302.4426 [pdf, other]
Title: A new algorithm for Many to Many Matching with Demands and Capacities
Fatemeh Rajabi-Alni
Comments: 9 pages, 1 figure
Subjects: Data Structures and Algorithms (cs.DS)
[650] arXiv:1302.4433 [pdf, other]
Title: Adaptive Minimum BER Reduced-Rank Linear Detection for Massive MIMO Systems
Yunlong Cai, Rodrigo C. de Lamare
Comments: 6 figures. arXiv admin note: substantial text overlap with arXiv:1302.4130
Subjects: Information Theory (cs.IT)
[651] arXiv:1302.4463 [pdf, other]
Title: A Low-Power Content-Addressable-Memory Based on Clustered-Sparse-Networks
Hooman Jarollahi, Vincent Gripon, Naoya Onizawa, Warren J. Gross
Comments: Submitted to IEEE ASAP 2013
Subjects: Hardware Architecture (cs.AR)
[652] arXiv:1302.4464 [pdf, other]
Title: Dynamic Power Reduction in a Novel CMOS 5T-SRAM for Low-Power SoC
Hooman Jarollahi (EIT) (Student Member IEEE), Richard F. Hobson
Comments: 7 pages, CDES'10 - The 2010 International Conference on Computer Design
Subjects: Hardware Architecture (cs.AR); Emerging Technologies (cs.ET)
[653] arXiv:1302.4474 [pdf, other]
Title: On the multiple unicast capacity of 3-source, 3-terminal directed acyclic networks
Shurui Huang, Aditya Ramamoorthy
Comments: To appear in the IEEE/ACM Transactions on Networking
Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[654] arXiv:1302.4475 [pdf, other]
Title: In Love With a Robot: the Dawn of Machine-To-Machine Marketing
Emil Kotomin
Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
[655] arXiv:1302.4487 [pdf, other]
Title: A connection between filter stabilization and eddy viscosity models
Maxim A. Olshanskii, Xin Xiong
Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
[656] arXiv:1302.4489 [pdf, other]
Title: Termhood-based Comparability Metrics of Comparable Corpus in Special Domain
Sa Liu, Chengzhi Zhang
Journal-ref: Lecture Notes in Computer Science Volume 7717, 2013, pp 134-144
Subjects: Computation and Language (cs.CL)
[657] arXiv:1302.4492 [pdf, other]
Title: Bilingual Terminology Extraction Using Multi-level Termhood
Chengzhi Zhang, Dan Wu
Journal-ref: Electronic Library, The, Vol. 30 Iss: 2, 2012, pp.295 - 309
Subjects: Computation and Language (cs.CL)
[658] arXiv:1302.4510 [pdf, other]
Title: An Approach Of Substitution Method Based On ASCII Codes In Encryption Technique
Avinash Sharma, Anurag Bhatnagar, Nikhar Tak, Anuradha Sharma, Jitendra Avasthi, Prerna sharma
Comments: 7 pages
Journal-ref: International Journal of advanced studies in Computers, Science & Engineering, vol 1, Issue 3, 2012
Subjects: Cryptography and Security (cs.CR)
[659] arXiv:1302.4513 [pdf, other]
Title: Discrete gradient methods have an energy conservation law
Robert I McLachlan, G R W Quispel
Subjects: Numerical Analysis (math.NA)
[660] arXiv:1302.4516 [pdf, other]
Title: Bilayer Protograph Codes for Half-Duplex Relay Channels
Thuy Van Nguyen, Aria Nosratinia, Dariush Divsalar
Comments: Accepted in IEEE Trans. Wireless Comm
Subjects: Information Theory (cs.IT)
[661] arXiv:1302.4519 [pdf, other]
Title: A Genetic Algorithm for Power-Aware Virtual Machine Allocation in Private Cloud
Nguyen Quang-Hung, Pham Dac Nien, Nguyen Hoai Nam, Nguyen Huynh Tuong, Nam Thoai
Comments: 10 pages
Journal-ref: Information and Communication Technology, Lecture Notes in Computer Science, Vol. 7804, Information Systems and Applications, incl. Internet/Web, and HCI, IFIP-LNCS Volumes, ISBN 978-3-642-36817-2, 2013, XVI, 552 p. 170 illus
Subjects: Neural and Evolutionary Computing (cs.NE); Distributed, Parallel, and Cluster Computing (cs.DC)
[662] arXiv:1302.4536 [pdf, other]
Title: A o(n) monotonicity tester for Boolean functions over the hypercube
Deeparnab Chakrabarty, C. Seshadhri
Comments: Journal version, with discussion on directed isoperimetry
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[663] arXiv:1302.4539 [pdf, other]
Title: Proving Termination Starting from the End
Pierre Ganty, Samir Genaim
Comments: 16 pages
Subjects: Logic in Computer Science (cs.LO)
[664] arXiv:1302.4544 [pdf, other]
Title: Distributed Random Walks
Atish Das Sarma, Danupon Nanongkai, Gopal Pandurangan, Prasad Tetali
Comments: Preprint of an article to appear in Journal of the ACM in February 2013. The official journal version has several gramatical corrections. Preliminary versions of this paper appeared in PODC 2009 and PODC 2010. arXiv admin note: substantial text overlap with arXiv:0911.3195, arXiv:1205.5525
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
[665] arXiv:1302.4545 [pdf, other]
Title: Preference-Based Unawareness
Burkhard C. Schipper
Subjects: Computer Science and Game Theory (cs.GT); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[666] arXiv:1302.4546 [pdf, other]
Title: Random-walk domination in large graphs: problem definitions and fast solutions
Rong-Hua Li, Jeffrey Xu Yu, Xin Huang, Hong Cheng
Subjects: Social and Information Networks (cs.SI); Data Structures and Algorithms (cs.DS); Physics and Society (physics.soc-ph)
[667] arXiv:1302.4549 [pdf, other]
Title: Breaking the Small Cluster Barrier of Graph Clustering
Nir Ailon, Yudong Chen, Xu Huan
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[668] arXiv:1302.4558 [pdf, other]
Title: Checkpointing strategies with prediction windows
Guillaume Aupy, Yves Robert, Frédéric Vivien, Dounia Zaidouni
Comments: 35 pages, work supported by ANR Rescue. arXiv admin note: substantial text overlap with arXiv:1207.6936, arXiv:1302.3752
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[669] arXiv:1302.4587 [pdf, other]
Title: Efficient Parallel and External Matching
Marcel Birn, Vitaly Osipov, Peter Sanders, Christian Schulz, Nodari Sitchinava
Subjects: Data Structures and Algorithms (cs.DS); Distributed, Parallel, and Cluster Computing (cs.DC)
[670] arXiv:1302.4591 [pdf, other]
Title: Linking Things on the Web: A Pragmatic Examination of Linked Data for Libraries, Archives and Museums
Ed Summers, Dorothea Salo
Subjects: Digital Libraries (cs.DL)
[671] arXiv:1302.4609 [pdf, other]
Title: Optimal information rate of secret sharing schemes on trees
L. Csirmaz, G. Tardos
Comments: 4 pages, 2 figures
Subjects: Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)
[672] arXiv:1302.4619 [pdf, other]
Title: Compactified Horizontal Visibility Graph for the Language Network
D.V. Lande, A.A.Snarskii
Comments: 9 pages, 3 figures, 2 appendix tables
Subjects: Computation and Language (cs.CL); Data Structures and Algorithms (cs.DS)
[673] arXiv:1302.4624 [pdf, other]
Title: A numerical algorithm for a class of BSDEs via branching process
Pierre Henry-Labordere, Xiaolu Tan, Nizar Touzi
Comments: 31 pages
Subjects: Numerical Analysis (math.NA); Probability (math.PR)
[674] arXiv:1302.4625 [pdf, other]
Title: On the sum of $L1$ influences
Artūrs Bačkurs, Mohammad Bavarian
Comments: Proceedings of CCC (2014)
Subjects: Computational Complexity (cs.CC)
[675] arXiv:1302.4656 [pdf, other]
Title: Throughput Analysis of CSMA Wireless Networks with Finite Offered-load
Caihong Kai, Shengli Zhang
Comments: 6 pages. arXiv admin note: text overlap with arXiv:1007.5255 by other authors
Subjects: Networking and Internet Architecture (cs.NI)
[676] arXiv:1302.4660 [pdf, other]
Title: Compressive Classification
Hugo Reboredo (1), Francesco Renna (1), Robert Calderbank (2), Miguel R. D. Rodrigues (3) ((1) Instituto de Telecomunicações, Universidade do Porto, Portugal, (2) Department of ECE, Duke University, NC, USA, (3) Department of E&EE, University College London, UK)
Comments: 5 pages, 3 figures, submitted to the 2013 IEEE International Symposium on Information Theory (ISIT 2013)
Subjects: Information Theory (cs.IT)
[677] arXiv:1302.4670 [pdf, other]
Title: Exact-Repair Regenerating Codes Via Layered Erasure Correction and Block Designs
Chao Tian, Vaneet Aggarwal, Vinay A. Vaishampayan
Comments: 7 figures, 30 pages. Part of the result has been submitted to ISIT 2013
Subjects: Information Theory (cs.IT)
[678] arXiv:1302.4673 [pdf, other]
Title: Good Recognition is Non-Metric
Walter J. Scheirer, Michael J. Wilber, Michael Eckmann, Terrance E. Boult
Comments: 9 pages, 5 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[679] arXiv:1302.4680 [pdf, other]
Title: Moving target inference with hierarchical Bayesian models in synthetic aperture radar imagery
Gregory E. Newstadt, Edmund G. Zelnio, Alfred O. Hero III
Comments: 35 pages, 8 figures, 1 algorithm, 11 tables
Subjects: Information Theory (cs.IT)
[680] arXiv:1302.4688 [pdf, other]
Title: An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain
Parisa Alvandi, Changbo Chen, Marc Moreno Maza
Subjects: Symbolic Computation (cs.SC)
[681] arXiv:1302.4689 [pdf, other]
Title: An Approach to Select Cost-Effective Risk Countermeasures Exemplified in CORAS
Le Minh Sang Tran, Bjørnar Solhaug, Ketil Stølen
Comments: 33 pages
Subjects: Other Computer Science (cs.OH)
[682] arXiv:1302.4701 [pdf, other]
Title: A Receiver-Centric OFCDM Approach with Subcarrier Grouping
Nikolaos I. Miridakis, Dimitrios D. Vergados, Emmanouil Papadakis
Comments: 4 pages, 3 figures
Subjects: Information Theory (cs.IT); Systems and Control (eess.SY)
[683] arXiv:1302.4702 [pdf, other]
Title: Preserving first integrals with symmetric Lie group methods
Elena Celledoni, Brynjulf Owren
Subjects: Numerical Analysis (math.NA)
[684] arXiv:1302.4705 [pdf, other]
Title: Performance Analysis of the Ordered V-BLAST Approach over Nakagami-m Fading Channels
Nikolaos I. Miridakis, Dimitrios D. Vergados
Subjects: Information Theory (cs.IT); Systems and Control (eess.SY)
[685] arXiv:1302.4706 [pdf, other]
Title: Curves on Flat Tori and Analog Source-Channel Codes
Antonio Campello, Cristiano Torezzan, Sueli I. R. Costa
Comments: 15 pages, 6 figures. Accepted for publication IEEE Trans. Inf. Theory. arXiv admin note: substantial text overlap with arXiv:1202.2111
Subjects: Information Theory (cs.IT)
[686] arXiv:1302.4707 [pdf, other]
Title: On the Complexity of Barrier Resilience for Fat Regions
Matias Korman, Maarten Löffler, Rodrigo I. Silveira, Darren Strash
Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG)
[687] arXiv:1302.4713 [pdf, other]
Title: Constrained Signaling in Auction Design
Shaddin Dughmi, Nicole Immorlica, Aaron Roth
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[688] arXiv:1302.4717 [pdf, other]
Title: Channel Sounding Waveforms Design for Asynchronous Multiuser MIMO Systems
Zhenhua Yu, Robert J. Baxley, Brett T. Walkenhorst, G. Tong Zhou
Subjects: Information Theory (cs.IT)
[689] arXiv:1302.4718 [pdf, other]
Title: Optimal Polynomial Admissible Meshes on Some Classes of Compact Subsets of $\R^d$
Federico Piazzon
Comments: 29 pages, 3figures
Subjects: Numerical Analysis (math.NA)
[690] arXiv:1302.4720 [pdf, other]
Title: Multiple Target Tracking with RF Sensor Networks
Maurizio Bocca, Ossi Kaltiokallio, Neal Patwari, Suresh Venkatasubramanian
Subjects: Networking and Internet Architecture (cs.NI)
[691] arXiv:1302.4721 [pdf, other]
Title: Energy-Efficient Resource Allocation in OFDMA Systems with Hybrid Energy Harvesting Base Station
Derrick Wing Kwan Ng, Ernest S. Lo, Robert Schober
Comments: 32 pages, 7 figures, and 1 table. Submitted for possible journal publication in 2013
Subjects: Information Theory (cs.IT)
[692] arXiv:1302.4726 [pdf, other]
Title: An Ontology for Modelling and Supporting the Process of Authoring Technical Assessments
Khalil Riad Bouzidi (INRIA Sophia Antipolis / Laboratoire I3S), Bruno Fies (CSTB Sophia Antipolis), Marc Bourdeau (CSTB Sophia Antipolis), Catherine Faron-Zucker (INRIA Sophia Antipolis / Laboratoire I3S), Nhan Le-Thanh (I3S)
Comments: In the International Council for Building Conference, CIB 2011 (2011)
Subjects: Information Retrieval (cs.IR); Computation and Language (cs.CL); Digital Libraries (cs.DL)
[693] arXiv:1302.4739 [pdf, other]
Title: Generating Non-Linear Interpolants by Semidefinite Programming
Liyun Dai, Bican Xia, Naijun Zhan
Comments: 22 pages, 4 figures
Subjects: Logic in Computer Science (cs.LO)
[694] arXiv:1302.4755 [pdf, other]
Title: Channel-Aware Random Access in the Presence of Channel Estimation Errors
Jeongho Jeon, Anthony Ephremides
Comments: The material in this paper was presented in part at the IEEE International Symposium on Information Theory, Cambridge, MA, USA, July 2012
Subjects: Information Theory (cs.IT)
[695] arXiv:1302.4760 [pdf, other]
Title: Predicting Intermediate Storage Performance for Workflow Applications
Lauro Beltrão Costa, Abmar Barros, Samer Al-Kiswany, Hao Yang, Emalayan Vairavanathan, Matei Ripeanu
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)
[696] arXiv:1302.4765 [pdf, other]
Title: Design Features for the Social Web: The Architecture of Deme
Todd Davies, Mike D. Mintz
Comments: Appeared in Luis Olsina, Oscar Pastor, Daniel Schwabe, Gustavo Rossi, and Marco Winckler (Editors), Proceedings of the 8th International Workshop on Web-Oriented Software Technologies (IWWOST 2009), CEUR Workshop Proceedings, Volume 493, August 2009, pp. 40-51; 12 pages, 2 figures, 1 table
Subjects: Social and Information Networks (cs.SI); Software Engineering (cs.SE)
[697] arXiv:1302.4767 [pdf, other]
Title: Low-power Secret-key Agreement over OFDM
Francesco Renna, Nicola Laurenti, Stefano Tomasin, Marco Baldi, Nicola Maturo, Marco Bianchi, Franco Chiaraluce, Matthieu Bloch
Comments: 9 pages, 4 figures; this is the authors prepared version of the paper with the same name accepted for HotWiSec 2013, the Second ACM Workshop on Hot Topics on Wireless Network Security and Privacy, Budapest, Hungary 17-19 April 2013
Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR)
[698] arXiv:1302.4774 [pdf, other]
Title: A theoretical framework for conducting multi-level studies of complex social systems with agent-based models and empirical data
Chih-Chun Chen
Comments: 50 pages, 9 figures
Subjects: Multiagent Systems (cs.MA); Social and Information Networks (cs.SI); Applications (stat.AP)
[699] arXiv:1302.4776 [pdf, other]
Title: Universal Outlier Hypothesis Testing
Yun Li, Sirin Nitinawarat, Venugopal V. Veeravalli
Comments: IEEE Trans. Inf. Theory, to appear, 2014
Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
[700] arXiv:1302.4779 [pdf, other]
Title: Failure Data Analysis of HPC Systems
Charng-Da Lu
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[701] arXiv:1302.4780 [pdf, other]
Title: Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures
Barbora Buhnova, Lucia Happe, Jan Kofroň
Journal-ref: EPTCS 108, 2013
Subjects: Software Engineering (cs.SE)
[702] arXiv:1302.4783 [pdf, other]
Title: A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
Zhe Hou, Alwen Tiu, Rajeev Gore
Subjects: Logic in Computer Science (cs.LO)
[703] arXiv:1302.4784 [pdf, other]
Title: An Optical Watermarking Solution for Color Personal Identification Pictures
Tan Yi-zhou, Liu Hai-bo, Huang Shui-hua, Sheng Ben-jian, Pan Zhong-ming
Journal-ref: 2009 International Conference on Optical Instruments and Technology: Optoelectronic
Subjects: Multimedia (cs.MM); Computer Vision and Pattern Recognition (cs.CV); Optics (physics.optics)
[704] arXiv:1302.4785 [pdf, other]
Title: A Distributed Approach to Interference Alignment in OFDM-based Two-tiered Networks
Marco Maso, Merouane Debbah, Lorenzo Vangelista
Comments: 15 pages, 10 figures, accepted and to appear in IEEE Transactions on Vehicular Technology Special Section: Self-Organizing Radio Networks, 2013. Authors' final version. Copyright transferred to IEEE
Subjects: Information Theory (cs.IT)
[705] arXiv:1302.4786 [pdf, other]
Title: Cognitive Orthogonal Precoder for Two-tiered Networks Deployment
Marco Maso, Leonardo S. Cardoso, Merouane Debbah, Lorenzo Vangelista
Comments: 11 pages, 9 figures, accepted and to appear in IEEE Journal on Selected Areas in Communications: Cognitive Radio Series, 2013. Copyright transferred to IEEE
Subjects: Information Theory (cs.IT)
[706] arXiv:1302.4788 [pdf, other]
Title: Layered Interference Networks with Delayed CSI: DoF Scaling with Distributed Transmitters
Mohammad Javad Abdoli, A. Salman Avestimehr
Comments: 32 pages, 6 figures, 4 tables; Accepted for publication in IEEE Transactions on Information Theory
Subjects: Information Theory (cs.IT)
[707] arXiv:1302.4793 [pdf, other]
Title: Opportunistic Wireless Energy Harvesting in Cognitive Radio Networks
Seunghyun Lee, Rui Zhang, Kaibin Huang
Comments: This is the longer version of a paper to appear in IEEE Transactions on Wireless Communications
Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
[708] arXiv:1302.4796 [pdf, other]
Title: End to End Verification and Validation with SPIN
Asankhaya Sharma
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[709] arXiv:1302.4798 [pdf, other]
Title: An Empirical Study of Path Feasibility Queries
Asankhaya Sharma
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[710] arXiv:1302.4805 [pdf, other]
Title: Energy-Efficient Optimization for Physical Layer Security in Multi-Antenna Downlink Networks with QoS Guarantee
Xiaoming Chen, Lei Lei
Comments: 4 pages, 3 figures
Journal-ref: IEEE Communications Letters 2013
Subjects: Information Theory (cs.IT)
[711] arXiv:1302.4808 [pdf, other]
Title: Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations
Christian Cachin, Olga Ohrimenko
Comments: A predecessor of this paper with a slightly different title appears in the proceedings of OPODIS 2014, Lecture Notes in Computer Science, vol.~8878, Springer, 2014
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[712] arXiv:1302.4811 [pdf, other]
Title: Towards a Semantic-based Approach for Modeling Regulatory Documents in Building Industry
Khalil Riad Bouzidi (INRIA Sophia Antipolis / Laboratoire I3S), Catherine Faron-Zucker (INRIA Sophia Antipolis / Laboratoire I3S), Bruno Fies (CSTB Sophia Antipolis), Olivier Corby (INRIA Sophia Antipolis / Laboratoire I3S), Le-Thanh Nhan (I3S)
Journal-ref: 9th European Conference on Product \& Process Modelling, ECPPM 2012 (2012)
Subjects: Computation and Language (cs.CL)
[713] arXiv:1302.4813 [pdf, other]
Title: Probabilistic Frame Induction
Jackie Chi Kit Cheung, Hoifung Poon, Lucy Vanderwende
Subjects: Computation and Language (cs.CL)
[714] arXiv:1302.4814 [pdf, other]
Title: NLP and CALL: integration is working
Georges Antoniadis (LIDILEM), Sylviane Granger, Olivier Kraif (LIDILEM), Claude Ponton (LIDILEM), Virginie Zampa (LIDILEM)
Journal-ref: TaLC7, France (2006)
Subjects: Computation and Language (cs.CL)
[715] arXiv:1302.4824 [pdf, other]
Title: Non-stationary extremal eigenvalue approximations in iterative solutions of linear systems and estimators for relative error
Divya Anand Subba, Murugesan Venkatapathi
Subjects: Numerical Analysis (math.NA)
[716] arXiv:1302.4840 [pdf, other]
Title: Joint Physical Network Coding and LDPC decoding for Two Way Wireless Relaying
Kui Xu, Zhenxing Lv, Youyun Xu, Dongmei Zhang, Xinyi Zhong, Wenwen Liang
Comments: This paper was presented in Physical Communication, Elsevier, 2013
Subjects: Information Theory (cs.IT)
[717] arXiv:1302.4856 [pdf, other]
Title: An algebraic approach to weak and delay bismulation in coalgebra
Tomasz Brengos
Comments: This paper has been withdrawn due to existing better attempt to model saturators coalgebraically
Subjects: Logic in Computer Science (cs.LO)
[718] arXiv:1302.4864 [pdf, other]
Title: Technology Transfer and the End of the Bayh-Dole Effect: Patents as an Analytical Lens on University-Industry-Government Relations
Loet Leydesdorff, Martin Meyer
Comments: in press in Scientometrics with the title: "A Reply to Etzkowitz' Comments to Leydesdorff & Martin (2010)"
Subjects: Digital Libraries (cs.DL)
[719] arXiv:1302.4870 [pdf, other]
Title: Bar 1-Visibility Drawings of 1-Planar Graphs
Shaheena Sultana, Md. Saidur Rahman, Arpita Roy, Suraiya Tairin
Comments: 15 pages, 9 figures
Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[720] arXiv:1302.4874 [pdf, other]
Title: A Labeled Graph Kernel for Relationship Extraction
Gonçalo Simões, Helena Galhardas, David Matos
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)
[721] arXiv:1302.4882 [pdf, other]
Title: Detection of Cooperative Black Hole Attack in Wireless Ad Hoc Networks
Jaydip Sen
Comments: 8 pages, 14 figures, 2 tables. This journal paper is an extended version of the already published conference paper of the author which is having arXiv identifier: arXiv:1111.0387. arXiv admin note: the majority of this single-authored submission is identical to arXiv:1111.0387, co-authored with two others
Journal-ref: International Journal of Simulation,Systems,Science and Technology. Vol 12, No 4, August 2011
Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)
[722] arXiv:1302.4888 [pdf, other]
Title: Exploiting Social Tags for Cross-Domain Collaborative Filtering
Yue Shi, Martha Larson, Alan Hanjalic
Comments: Manuscript under review
Subjects: Information Retrieval (cs.IR); Artificial Intelligence (cs.AI)
[723] arXiv:1302.4916 [pdf, other]
Title: Stacking from Tags: Clustering Bookmarks around a Theme
Arkaitz Zubiaga, Alberto Pérez García-Plaza, Víctor Fresno, Raquel Martínez
Subjects: Information Retrieval (cs.IR)
[724] arXiv:1302.4928 [pdf, other]
Title: Graphical Models for Preference and Utility
Fahiem Bacchus, Adam J. Grove
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[725] arXiv:1302.4929 [pdf, other]
Title: Counterfactuals and Policy Analysis in Structural Models
Alexander Balke, Judea Pearl
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[726] arXiv:1302.4930 [pdf, other]
Title: Belief Functions and Default Reasoning
Salem Benferhat, Alessandro Saffiotti, Philippe Smets
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[727] arXiv:1302.4931 [pdf, other]
Title: An Algebraic Semantics for Possibilistic Logic
Luca Boldrin, Claudio Sossai
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[728] arXiv:1302.4932 [pdf, other]
Title: Automating Computer Bottleneck Detection with Belief Nets
John S. Breese, Russ Blake
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[729] arXiv:1302.4933 [pdf, other]
Title: Chain Graphs for Learning
Wray L. Buntine
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[730] arXiv:1302.4934 [pdf, other]
Title: Error Estimation in Approximate Bayesian Belief Network Inference
Enrique F. Castillo, Remco R. Bouckaert, Jose M. Sarabia, Cristina Solares
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[731] arXiv:1302.4935 [pdf, other]
Title: Generating the Structure of a Fuzzy Rule under Uncertainty
Juan Luis Castro, Jose Manuel Zurita
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[732] arXiv:1302.4936 [pdf, other]
Title: Practical Model-Based Diagnosis with Qualitative Possibilistic Uncertainty
Didier Cayrac, Didier Dubois, Henri Prade
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[733] arXiv:1302.4937 [pdf, other]
Title: Decision Flexibility
Tom Chavez, Ross D. Shachter
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[734] arXiv:1302.4938 [pdf, other]
Title: A Transformational Characterization of Equivalent Bayesian Network Structures
David Maxwell Chickering
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[735] arXiv:1302.4939 [pdf, other]
Title: Conditioning Methods for Exact and Approximate Inference in Causal Networks
Adnan Darwiche
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[736] arXiv:1302.4940 [pdf, other]
Title: Independence Concepts for Convex Sets of Probabilities
Luis M. de Campos, Serafin Moral
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[737] arXiv:1302.4941 [pdf, other]
Title: Clustering Without (Thinking About) Triangulation
Denise L. Draper
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[738] arXiv:1302.4942 [pdf, other]
Title: Implementation of Continuous Bayesian Networks Using Sums of Weighted Gaussians
Eric Driver, Darryl Morrell
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[739] arXiv:1302.4943 [pdf, other]
Title: Elicitation of Probabilities for Belief Networks: Combining Qualitative and Quantitative Information
Marek J. Druzdzel, Linda C. van der Gaag
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[740] arXiv:1302.4944 [pdf, other]
Title: Numerical Representations of Acceptance
Didier Dubois, Henri Prade
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[741] arXiv:1302.4945 [pdf, other]
Title: Fraud/Uncollectible Debt Detection Using a Bayesian Network Based Learning System: A Rare Binary Outcome with Mixed Data Structures
Kazuo J. Ezawa, Til Schuermann
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[742] arXiv:1302.4946 [pdf, other]
Title: A Constraint Satisfaction Approach to Decision under Uncertainty
Helene Fargier, Jerome Lang, Roger Martin-Clouaire, Thomas Schiex
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[743] arXiv:1302.4947 [pdf, other]
Title: Plausibility Measures: A User's Guide
Nir Friedman, Joseph Y. Halpern
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[744] arXiv:1302.4948 [pdf, other]
Title: Testing Identifiability of Causal Effects
David Galles, Judea Pearl
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[745] arXiv:1302.4949 [pdf, other]
Title: A Characterization of the Dirichlet Distribution with Application to Learning Bayesian Networks
Dan Geiger, David Heckerman
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[746] arXiv:1302.4950 [pdf, other]
Title: Fast Belief Update Using Order-of-Magnitude Probabilities
Moises Goldszmidt
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[747] arXiv:1302.4951 [pdf, other]
Title: Transforming Prioritized Defaults and Specificity into Parallel Defaults
Benjamin N. Grosof
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[748] arXiv:1302.4952 [pdf, other]
Title: Efficient Decision-Theoretic Planning: Techniques and Empirical Analysis
Peter Haddawy, AnHai Doan, Richard Goodwin
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[749] arXiv:1302.4953 [pdf, other]
Title: Fuzzy Logic and Probability
Petr Hajek, Lluis Godo, Francesc Esteva
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
[750] arXiv:1302.4954 [pdf, other]
Title: Probabilistic Temporal Reasoning with Endogenous Change
Steve Hanks, David Madigan, Jonathan Gavrin
Comments: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)
Subjects: Artificial Intelligence (cs.AI)
Total of 1370 entries : 1-250 251-500 501-750 751-1000 1001-1250 1251-1370
Showing up to 250 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack