Computer Science

Authors and titles for June 2014

[151] arXiv:1406.1154 [pdf, other]

Title: Decodability Attack against the Fuzzy Commitment Scheme with Public Feature Transforms

Benjamin Tams

Subjects: Cryptography and Security (cs.CR)

[152] arXiv:1406.1158 [pdf, other]

Title: Kernelization lower bound for Permutation Pattern Matching

Ivan Bliznets, Marek Cygan, Pawel Komosa, Lukas Mach

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[153] arXiv:1406.1167 [pdf, other]

Title: Learning to Diversify via Weighted Kernels for Classifier Ensemble

Xu-Cheng Yin, Chun Yang, Hong-Wei Hao

Comments: Submitted to IEEE Trans. Pattern Analysis and Machine Intelligence (TPAMI)

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)

[154] arXiv:1406.1169 [pdf, other]

Title: On The Impact of Time-Varying Interference-Channel on the Spatial Approach of Spectrum Sharing between S-band Radar and Communication System

Awais Khawar, Ahmed Abdelhadi, T. Charles Clancy

Comments: Accepted version: IEEE Military Communications Conference (MILCOM) 2014

Subjects: Information Theory (cs.IT)

[155] arXiv:1406.1203 [pdf, other]

Title: A Semantic Approach to Summarization

Divyanshu Bhartiya, Ashudeep Singh

Subjects: Computation and Language (cs.CL)

[156] arXiv:1406.1213 [pdf, other]

Title: On Covert Acoustical Mesh Networks in Air

Michael Hanspach, Michael Goetz

Comments: 10 pages, updated version

Journal-ref: Journal of Communications 8(11), Nov. 2013

Subjects: Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI); Sound (cs.SD)

[157] arXiv:1406.1215 [pdf, other]

Title: Parallel Algorithms for Generating Random Networks with Given Degree Sequences

Maksudul Alam, Maleq Khan

Comments: Accepted in NPC 2015

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[158] arXiv:1406.1222 [pdf, other]

Title: Discovering Structure in High-Dimensional Data Through Correlation Explanation

Greg Ver Steeg, Aram Galstyan

Comments: 15 pages, 6 figures. Includes supplementary material and link to code. Published in the proceedings of the 28th Annual Conference on Neural Information Processing Systems, NIPS 2014

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

[159] arXiv:1406.1224 [pdf, other]

Title: XTQ: A Declarative Functional XML Query Language

Xuhui Li, Mengchi Liu, Shanfeng Zhu, Arif Ghafoor

Comments: 65 pages

Subjects: Programming Languages (cs.PL); Databases (cs.DB)

[160] arXiv:1406.1227 [pdf, other]

Title: Convergence analysis in convex regularization depending on the smoothness degree of the penalizer

Erdem Altuntac

Comments: Abstract and proofs are corrected

Subjects: Numerical Analysis (math.NA)

[161] arXiv:1406.1230 [pdf, other]

Title: Statistical Intercell Interference Modeling for Capacity-Coverage Tradeoff Analysis in Downlink Cellular Networks

Naeem Akl, Jihad Fahs, Zaher Dawy

Comments: 5 pages, 7 figures, conference

Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)

[162] arXiv:1406.1234 [pdf, other]

Title: A Geometric Method to Obtain the Generation Probability of a Sentence

Chen Lijiang

Comments: 13 pages

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Statistics Theory (math.ST); Computation (stat.CO); Methodology (stat.ME)

[163] arXiv:1406.1238 [pdf, other]

Title: Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications

Freek Verbeek (Open University of The Netherlands), Julien Schmaltz (Eindhoven University of Technology)

Journal-ref: EPTCS 152, 2014

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

[164] arXiv:1406.1241 [pdf, other]

Title: The Best Templates Match Technique For Example Based Machine Translation

T. El-Shishtawy, A. El-Sammak

Comments: Eleventh International Conference on Artificial Intelligence Applications, 2003

Subjects: Computation and Language (cs.CL)

[165] arXiv:1406.1244 [pdf, other]

Title: Distributed Approximation of Minimum Routing Cost Trees

Alexandra Hochuli, Stephan Holzer, Roger Wattenhofer

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

[166] arXiv:1406.1247 [pdf, other]

Title: Shared Representation Learning for Heterogeneous Face Recognition

Dong Yi, Zhen Lei, Shengcai Liao, Stan Z. Li

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

[167] arXiv:1406.1255 [pdf, other]

Title: Flow Level QoE of Video Streaming in Wireless Networks

Yuedong Xu, Salaheddine Elayoubi, Eitan Altman, Rachid El-Azouzi, Yinghao Yu

Comments: 14 pages

Subjects: Networking and Internet Architecture (cs.NI)

[168] arXiv:1406.1273 [pdf, other]

Title: On The Communication Complexity of Finding an (Approximate) Stable Marriage

Rafail Ostrovsky, Will Rosenbaum

Comments: This paper has been subsumed by arXiv:1405.7709

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)

[169] arXiv:1406.1275 [pdf, other]

Title: Sensing and Link Model for Wireless Sensor Network: Coverage and Connectivity Analysis

Ashraf Hossain, Rashmita Mishra

Comments: 5 pages, conference EAPE 2013, 2nd National Conference EAPE 2013, Kolkata, India

Subjects: Information Theory (cs.IT)

[170] arXiv:1406.1276 [pdf, other]

Title: Real-time dynamics acquisition from irregular samples -- with application to anesthesia evaluation

Charles K. Chui, Yu-Ting Lin, Hau-tieng Wu

Subjects: Numerical Analysis (math.NA)

[171] arXiv:1406.1279 [pdf, other]

Title: Edge-enhancing reconstruction algorithm for three-dimensional electrical impedance tomography

Lauri Harhanen, Nuutti Hyvönen, Helle Majander, Stratos Staboulis

Subjects: Numerical Analysis (math.NA)

[172] arXiv:1406.1280 [pdf, other]

Title: Basis Identification for Automatic Creation of Pronunciation Lexicon for Proper Names

Sunil Kumar Kopparapu, M Laxminarayana

Subjects: Computation and Language (cs.CL)

[173] arXiv:1406.1281 [pdf, other]

Title: On codes over R_{k,m} and constructions for new binary self-dual codes

Nesibe Tufekci, Bahattin Yildiz

Comments: 17 pages

Subjects: Information Theory (cs.IT)

[174] arXiv:1406.1284 [pdf, other]

Title: The Price of Updating the Control Plane in Information-Centric Networks

Bita Azimdoost, Cedric Westphal, Hamid R. Sadjadpour

Comments: 10 pages, 12 figures

Subjects: Networking and Internet Architecture (cs.NI)

[175] arXiv:1406.1286 [pdf, other]

Title: The Volume-Correlation Subspace Detector

Hailong Shi, Hao Zhang, Xiqin Wang

Comments: 35 pages, submitted to IEEE Trans, part of this paper has been published by ISIT'2015

Subjects: Information Theory (cs.IT)

[176] arXiv:1406.1308 [pdf, other]

Title: Elias Bound for General Distances and Stable Sets in Edge-Weighted Graphs

Marco Dalai

Comments: Accepted, IEEE Transaction on Information Theory

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

[177] arXiv:1406.1310 [pdf, other]

Title: Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi

Benoît Valiron, Steve Zdancewic

Comments: Accepted at ICTAC 2014. The final publication will be available at this http URL

Journal-ref: Proc. of ICTAC'14, in LNCS vol. 8687, pp 442-459 (2014)

Subjects: Logic in Computer Science (cs.LO)

[178] arXiv:1406.1329 [pdf, other]

Title: Algorithmes dynamiques pour la communication dans le réseau ad hoc Coloration des graphes

Ali Mansouri, Mohamed Salim Bouhlel

Comments: in French

Subjects: Discrete Mathematics (cs.DM)

[179] arXiv:1406.1333 [pdf, other]

Title: Zooming from Global to Local: A Multiscale RBF Approach

Quoc Thong Le Gia, Ian H Sloan, Holger Wendland

Subjects: Numerical Analysis (math.NA)

[180] arXiv:1406.1335 [pdf, other]

Title: Understanding Types of Users on Twitter

Muhammad Moeen Uddin, Muhammad Imran, Hassan Sajjad

Comments: 6 pages

Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY)

[181] arXiv:1406.1352 [pdf, other]

Title: Approximate analysis of biological systems by hybrid switching jump diffusion

Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich

Subjects: Performance (cs.PF); Probability (math.PR); Quantitative Methods (q-bio.QM)

[182] arXiv:1406.1360 [pdf, other]

Title: Numerical integration of discontinuous functions in many dimensions

Vassilis Pandis

Comments: To appear in the journal "Transactions on Mathematical Software"

Subjects: Numerical Analysis (math.NA)

[183] arXiv:1406.1362 [pdf, other]

Title: An Implementation of Voice over the Cognitive Packet Network

Lan Wang, Erol Gelenbe

Comments: 8 pages, 4 figures

Subjects: Networking and Internet Architecture (cs.NI)

[184] arXiv:1406.1368 [pdf, other]

Title: Peeling potatoes near-optimally in near-linear time

Sergio Cabello, Josef Cibulka, Jan Kynčl, Maria Saumell, Pavel Valtr

Comments: 30 pages, 7 figures; minor revision. Preliminary version was presented at SoCG 2014

Journal-ref: SIAM Journal on Computing 46(5) (2017), 1574-1602

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

[185] arXiv:1406.1385 [pdf, other]

Title: Learning the Information Divergence

Onur Dikmen, Zhirong Yang, Erkki Oja

Comments: 12 pages, 7 figures

Subjects: Machine Learning (cs.LG)

[186] arXiv:1406.1393 [pdf, other]

Title: Interclausal Logic Variables

Paul Tarau, Fahmida Hamid

Comments: to appear as a ICLP'14 technical contribution

Subjects: Programming Languages (cs.PL)

[187] arXiv:1406.1395 [pdf, other]

Title: An LTL Semantics of Business Workflows with Recovery

Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[188] arXiv:1406.1404 [pdf, other]

Title: On the satisfiability problem for SPARQL patterns

Xiaowang Zhang, Jan Van den Bussche, François Picalausa

Comments: Major revision, erroneous polynomial-time claims corrected, NP-completeness result added, detailed proofs added, experimental section added

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

[189] arXiv:1406.1411 [pdf, other]

Title: Advances in Learning Bayesian Networks of Bounded Treewidth

Siqi Nie, Denis Deratani Maua, Cassio Polpo de Campos, Qiang Ji

Comments: 23 pages, 2 figures, 3 tables

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

[190] arXiv:1406.1414 [pdf, other]

Title: Subgraph covers -- An information theoretic approach to motif analysis in networks

Anatol E. Wegner

Comments: 10 pages, 7 tables, 1 Figure

Journal-ref: Phys. Rev. X 4, 041026 (2014)

Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Physics and Society (physics.soc-ph); Molecular Networks (q-bio.MN)

[191] arXiv:1406.1423 [pdf, other]

Title: A ToolBox for Conservative XML Schema Evolution and Document Adaptation

Joshua Amavi, Jacques Chabin, Mirian Halfeld Ferrari, Pierre Réty

Comments: 15 pages, DEXA'14

Subjects: Databases (cs.DB)

[192] arXiv:1406.1431 [pdf, other]

Title: Intégration des règles actives dans des documents

Ali Mansouri, Youssef Amghar

Comments: master's thesis, in French

Subjects: Databases (cs.DB)

[193] arXiv:1406.1433 [pdf, other]

Title: Reconfiguring Independent Sets in Cographs

Marthe Bonamy, Nicolas Bousquet

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

[194] arXiv:1406.1435 [pdf, other]

Title: Direct and Inverse Results on Bounded Domains for Meshless Methods via Localized Bases on Manifolds

Thomas Hangelbroek, Francis J. Narcowich, Christian Rieger, Joseph D. Ward

Comments: 29 pages. To appear in Festschrift for the 80th Birthday of Ian Sloan

Subjects: Numerical Analysis (math.NA); Classical Analysis and ODEs (math.CA)

[195] arXiv:1406.1469 [pdf, other]

Title: Diffusion of the Adoption of Online Retailing in Saudi Arabia

Rayed AlGhamdi

Comments: PhD thesis, 312 pages including appendices

Subjects: Computers and Society (cs.CY)

[196] arXiv:1406.1475 [pdf, other]

Title: Modeling CSFs of B2C E-commerce Systems Using the Enterprise Architecture Approach

Rayed AlGhamdi

Comments: Master Thesis, 80 pages

Subjects: Computers and Society (cs.CY)

[197] arXiv:1406.1476 [pdf, other]

Title: A Context-aware Delayed Agglomeration Framework for Electron Microscopy Segmentation

Toufiq Parag, Anirban Chakraborty, Stephen Plaza, Lou Scheffer

Journal-ref: PLoS ONE 10(5): e0125825, 2015

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

[198] arXiv:1406.1488 [pdf, other]

Title: IRCI Free Colocated MIMO Radar Based on Sufficient Cyclic Prefix OFDM Waveforms

Yun-He Cao, Xiang-Gen Xia, Sheng-Hua Wang

Comments: 27 pages, 11 figures

Subjects: Information Theory (cs.IT)

[199] arXiv:1406.1501 [pdf, other]

Title: Connectivity of Natura 2000 forest sites in Europe

Christine Estreguil, Giovanni Caudullo, Daniele de Rigo

Comments: 9 pages, from a poster published in F1000Posters 2014, 5: 485

Journal-ref: F1000Posters 2014, 5: 485

Subjects: Computational Engineering, Finance, and Science (cs.CE); Populations and Evolution (q-bio.PE)

[200] arXiv:1406.1502 [pdf, other]

Title: Towards designing artificial universes for artificial agents under interaction closure

Martin Biehl, Christoph Salge, Daniel Polani

Comments: 8 pages, 3 figures; accepted for publication in ALIFE 14 proceedings

Subjects: Multiagent Systems (cs.MA)

[201] arXiv:1406.1509 [pdf, other]

Title: Systematic N-tuple Networks for Position Evaluation: Exceeding 90% in the Othello League

Wojciech Jaśkowski

Comments: Added technical report number

Journal-ref: ICGA Journal 37(2), 2014, pp. 85-96

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

[202] arXiv:1406.1510 [pdf, other]

Title: Proceedings of the Eleventh Workshop on Constraint Handling Rules

Rémy Haemmerlé, Jon Sneyers

Subjects: Programming Languages (cs.PL)

[203] arXiv:1406.1516 [pdf, other]

Title: On the Performance of Non-Orthogonal Multiple Access in 5G Systems with Randomly Deployed Users

Zhiguo Ding, Zheng Yang, Pingzhi Fan, H. Vincent Poor

Subjects: Information Theory (cs.IT)

[204] arXiv:1406.1520 [pdf, other]

Title: Inherent limits on optimization and discovery in physical systems

Vladan Mlinar

Journal-ref: Ann. Phys. 351, 837-849 (2014)

Subjects: Social and Information Networks (cs.SI); Materials Science (cond-mat.mtrl-sci); Physics and Society (physics.soc-ph)

[205] arXiv:1406.1528 [pdf, other]

Title: Towards building a Crowd-Sourced Sky Map

Dustin Lang, David W. Hogg, Bernhard Scholkopf

Comments: Appeared at AI-STATS 2014

Journal-ref: JMLR Workshop and Conference Proceedings, 33 (AI & Statistics 2014), 549

Subjects: Computer Vision and Pattern Recognition (cs.CV); Instrumentation and Methods for Astrophysics (astro-ph.IM)

[206] arXiv:1406.1534 [pdf, other]

Title: Proceedings 5th Workshop on Mathematically Structured Functional Programming

Paul Levy (University of Birmingham), Neel Krishnaswami (University of Birmingham)

Journal-ref: EPTCS 153, 2014

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[207] arXiv:1406.1543 [pdf, other]

Title: Untappable key distribution system: a one-time-pad booster

Geraldo A. Barbosa, Jeroen van de Graaf

Comments: 12 pages, 16 figures

Subjects: Cryptography and Security (cs.CR); Quantum Physics (quant-ph)

[208] arXiv:1406.1556 [pdf, other]

Title: Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Matt Kaufmann (UT Austin), J Strother Moore (UT Austin)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 1-7

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

[209] arXiv:1406.1557 [pdf, other]

Title: Data Definitions in the ACL2 Sedan

Harsh Raju Chamarthi (Northeastern Univeristy), Peter C. Dillinger (Northeastern Univeristy), Panagiotis Manolios (Northeastern Univeristy)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 27-48

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[210] arXiv:1406.1558 [pdf, other]

Title: Polymorphic Types in ACL2

Benjamin Selfridge (University of Texas at Austin), Eric Smith (Kestrel Institute)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 49-59

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[211] arXiv:1406.1559 [pdf, other]

Title: Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

Sebastiaan Joosten (Technical University of Eindhoven/Radboud University Nijmegen), Cezary Kaliszyk (University of Innsbruck), Josef Urban (Radboud University Nijmegen)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 77-85

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

[212] arXiv:1406.1560 [pdf, other]

Title: Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis

John Cowles (University of Wyoming), Ruben Gamboa (University of Wyoming)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 89-100

Subjects: Logic in Computer Science (cs.LO)

[213] arXiv:1406.1561 [pdf, other]

Title: Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent

Ruben Gamboa (University of Wyoming), John Cowles (University of Wyoming)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 101-110

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

[214] arXiv:1406.1562 [pdf, other]

Title: Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

Disha Puri (Dept. of Computer Science, Portland State University), Sandip Ray (Strategic CAD Labs, Intel Corporation), Kecheng Hao (Dept. of Computer Science, Portland State University), Fei Xie (Dept. of Computer Science, Portland State University)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 111-128

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[215] arXiv:1406.1563 [pdf, other]

Title: An ACL2 Mechanization of an Axiomatic Framework for Weak Memory

Benjamin Selfridge (University of Texas at Austin)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 129-144

Subjects: Logic in Computer Science (cs.LO)

[216] arXiv:1406.1565 [pdf, other]

Title: Modeling Algorithms in SystemC and ACL2

John W. O'Leary (Intel Corp.), David M. Russinoff (Intel Corp)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 145-162

Subjects: Hardware Architecture (cs.AR); Programming Languages (cs.PL)

[217] arXiv:1406.1566 [pdf, other]

Title: Development of a Translator from LLVM to ACL2

David S. Hardin (Rockwell Collins), Jennifer A. Davis (Rockwell Collins), David A. Greve (Rockwell Collins), Jedidiah R. McClurg (University of Colorado)

Comments: In Proceedings ACL2 2014, arXiv:1406.1238

Journal-ref: EPTCS 152, 2014, pp. 163-177

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[218] arXiv:1406.1567 [pdf, other]

Title: Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems

Nathalie Bertrand (INRIA, Rennes), Luca Bortolussi (University of Trieste)

Journal-ref: EPTCS 154, 2014

Subjects: Logic in Computer Science (cs.LO); Computational Engineering, Finance, and Science (cs.CE); Performance (cs.PF)

[219] arXiv:1406.1569 [pdf, other]

Title: Two-Part Reconstruction with Noisy-Sudocodes

Yanting Ma, Dror Baron, Deanna Needell

Comments: 23 pages, 7 figures, to appear in IEEE Transactions on Signal Processing

Subjects: Information Theory (cs.IT)

[220] arXiv:1406.1571 [pdf, other]

Title: Optimal Auctions for Correlated Buyers with Sampling

Hu Fu, Nima Haghpanah, Jason Hartline, Robert Kleinberg

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

[221] arXiv:1406.1572 [pdf, other]

Title: Consensus-based In-Network Computation of the PARAFAC Decomposition

Alain Y. Kibangou, André L. F. de Almeida

Subjects: Numerical Analysis (math.NA)

[222] arXiv:1406.1579 [pdf, other]

Title: Approximation Algorithms for Model-Based Compressive Sensing

Chinmay Hegde, Piotr Indyk, Ludwig Schmidt

Subjects: Information Theory (cs.IT); Data Structures and Algorithms (cs.DS)

[223] arXiv:1406.1580 [pdf, other]

Title: Machine learning approach for text and document mining

Vishwanath Bijalwan, Pinki Kumari, Jordan Pascual, Vijay Bhaskar Semwal

Comments: arXiv admin note: text overlap with arXiv:1003.1795, arXiv:1212.2065 by other authors

Subjects: Information Retrieval (cs.IR); Machine Learning (cs.LG)

[224] arXiv:1406.1583 [pdf, other]

Title: Fuzzy clustering of web documents using equivalence relations and fuzzy hierarchical clustering

Satendra kumar, Mamta kathuria, Alok Kumar Gupta, Monika Rani

Comments: 5 pages, Software Engineering (CONSEG), 2012

Subjects: Information Retrieval (cs.IR)

[225] arXiv:1406.1584 [pdf, other]

Title: Learning to Discover Efficient Mathematical Identities

Wojciech Zaremba, Karol Kurach, Rob Fergus

Subjects: Machine Learning (cs.LG)

[226] arXiv:1406.1605 [pdf, other]

Title: Energy Efficient and Reliable Wireless Sensor Networks - An Extension to IEEE 802.15.4e

Achim Berger, Markus Pichler, Werner Haslmayr, Andreas Springer

Subjects: Networking and Internet Architecture (cs.NI)

[227] arXiv:1406.1619 [pdf, other]

Title: An Invariant Linear Quadratic Gaussian controller for a simplified car

Sébastien Diemer, Silvère Bonnabel

Subjects: Robotics (cs.RO); Systems and Control (eess.SY)

[228] arXiv:1406.1621 [pdf, other]

Title: Separable Cosparse Analysis Operator Learning

Matthias Seibert, Julian Wörmann, Rémi Gribonval, Martin Kleinsteuber

Comments: 5 pages, 3 figures, accepted at EUSIPCO 2014

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

[229] arXiv:1406.1623 [pdf, other]

Title: Deciding the On-line Chromatic Number of a Graph with Pre-Coloring is PSPACE-Complete

Christian Kudahl

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

[230] arXiv:1406.1626 [pdf, other]

Title: Ant Colony Optimization for Inferring Key Gene Interactions

Khalid Raza, Mahish Kohli

Comments: 8 pages, 2 figures and 4 tables

Journal-ref: Proc. of 9th INDIACom-2015, 2nd International Conference on Computing for Sustainable Global Development, March 11-13, 2015 pp. 1242-1246

Subjects: Neural and Evolutionary Computing (cs.NE); Computational Engineering, Finance, and Science (cs.CE)

[231] arXiv:1406.1633 [pdf, other]

Title: The dagger lambda calculus

Philip Atzemoglou (University of Oxford)

Comments: In Proceedings QPL 2014, arXiv:1412.8102

Journal-ref: EPTCS 172, 2014, pp. 217-235

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Quantum Physics (quant-ph)

[232] arXiv:1406.1638 [pdf, other]

Title: Automated Generation of Geometric Theorems from Images of Diagrams

Xiaoyu Chen, Dan Song, Dongming Wang

Comments: 31 pages. Submitted to Annals of Mathematics and Artificial Intelligence (special issue on Geometric Reasoning)

Subjects: Artificial Intelligence (cs.AI)

[233] arXiv:1406.1677 [pdf, other]

Title: Modified Binary Search Algorithm

Ankit R. Chadha, Rishikesh Misal, Tanaya Mokashi

Journal-ref: International Journal of Applied Information Systems 7(2):37-40, April 2014

Subjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)

[234] arXiv:1406.1691 [pdf, other]

Title: Towards a Better Understanding of the Local Attractor in Particle Swarm Optimization: Speed and Solution Quality

Vanessa Lange, Manuel Schmitt, Rolf Wanka

Subjects: Neural and Evolutionary Computing (cs.NE)

[235] arXiv:1406.1695 [pdf, other]

Title: Tsallis information dimension of complex networks

Qi Zhang, Meizhu Li, Yong Deng, Sankaran Mahadevan

Comments: 14 pages, 4 figures

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

[236] arXiv:1406.1697 [pdf, other]

Title: Multiscale probability transformation of basic probability assignment

Meizhu Li, Qi Zhang, Yong Deng

Comments: 22 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI)

[237] arXiv:1406.1701 [pdf, other]

Title: A computational study of the effects of remodelled electrophysiology and mechanics on initiation of ventricular fibrillation in human heart failure

Nathan Kirk, Alan Benson, Christopher Goodyer, Matthew Hubbard

Comments: 20 pages, 8 figures, 3 tables

Subjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Tissues and Organs (q-bio.TO)

[238] arXiv:1406.1717 [pdf, other]

Title: Median Filtering is Equivalent to Sorting

Jukka Suomela

Comments: 1 + 24 pages, 13 figures

Subjects: Data Structures and Algorithms (cs.DS)

[239] arXiv:1406.1719 [pdf, other]

Title: Smooth Parametrizations in Dynamics, Analysis, Diophantine and Computational Geometry

Y. Yomdin

Subjects: Computational Geometry (cs.CG); Differential Geometry (math.DG)

[240] arXiv:1406.1724 [pdf, other]

Title: Random Aerial Beamforming for Underlay Cognitive Radio with Exposed Secondary Users

Ahmed M. Alaa, Mahmoud H. Ismail, Hazim Tawfik

Subjects: Information Theory (cs.IT)

[241] arXiv:1406.1725 [pdf, other]

Title: Bi-level Protected Compressive Sampling

Leo Yu Zhang, Kwok-Wo Wong, Yushu Zhang, Jiantao Zhou

Comments: 14 pages, 8 figures

Subjects: Information Theory (cs.IT)

[242] arXiv:1406.1727 [pdf, other]

Title: MIMO In Vivo

Chao He, Yang Liu, Thomas P. Ketterl, Gabriel E. Arrobo, Richard D. Gitlin

Comments: WAMICON 2014

Subjects: Information Theory (cs.IT)

[243] arXiv:1406.1738 [pdf, other]

Title: Explicit Reference Governor for Continuous Time Nonlinear Systems Subject to Convex Constraints

Emanuele Garone, Marco M. Nicotra

Comments: Submitted to: IEEE Transactions on Automatic Control

Subjects: Systems and Control (eess.SY)

[244] arXiv:1406.1754 [pdf, other]

Title: Eigenvalues and Transduction of Morphic Sequences: Extended Version

David Sprunger, William Tune, Jörg Endrullis, Lawrence S. Moss

Subjects: Formal Languages and Automata Theory (cs.FL)

[245] arXiv:1406.1765 [pdf, other]

Title: Linguistic Analysis of Requirements of a Space Project and their Conformity with the Recommendations Proposed by a Controlled Natural Language

Anne Condamines, Maxime Warnier

Subjects: Software Engineering (cs.SE); Computation and Language (cs.CL)

[246] arXiv:1406.1767 [pdf, other]

Title: Changing the Environment Based on Empowerment as Intrinsic Motivation

Christoph Salge, Cornelius Glackin, Daniel Polani

Comments: 31 pages, 8 figures, published in Entropy (this http URL), much extended version of https://arxiv.boxedpaper.com/abs/1310.3692

Journal-ref: Entropy 16, no. 5: 2789-2819 (2014)

Subjects: Artificial Intelligence (cs.AI); Adaptation and Self-Organizing Systems (nlin.AO)

[247] arXiv:1406.1770 [pdf, other]

Title: Computational role of eccentricity dependent cortical magnification

Tomaso Poggio, Jim Mutch, Leyla Isik

Subjects: Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC)

[248] arXiv:1406.1774 [pdf, other]

Title: Small Sample Learning of Superpixel Classifiers for EM Segmentation- Extended Version

Toufiq Parag, Stephen Plaza, Louis Scheffer (Janelia Farm Research Campus- HHMI)

Comments: Accepted for MICCAI 2014

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

[249] arXiv:1406.1790 [pdf, other]

Title: Behavioral Mechanism Design: Optimal Contests for Simple Agents

Arpita Ghosh, Robert Kleinberg

Comments: This is the full version of a paper in the ACM Conference on Economics and Computation (ACM-EC), 2014

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

[250] arXiv:1406.1794 [pdf, other]

Title: Advanced vehicle safety and content distribution system

Anita B, Beena Sheril, Ramesh B. E

Comments: 4 pages, 2 figures, Published with International Journal of Engineering Trends and Technology (IJETT)

Journal-ref: Volume 11 Number 9 - May 2014, IJETT-V11P284

Subjects: Networking and Internet Architecture (cs.NI)