We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computer Science

Authors and titles for Apr 2016, skipping first 50

[ total of 1969 entries: 1-50 | 51-100 | 101-150 | 151-200 | 201-250 | ... | 1951-1969 ]
[ showing 50 entries per page: fewer | more | all ]
[51]  arXiv:1604.00300 [pdf, other]
Title: A SAT model to mine flexible sequences in transactional datasets
Subjects: Artificial Intelligence (cs.AI)
[52]  arXiv:1604.00301 [pdf, ps, other]
Title: A strengthening of rational closure in DLs: reasoning about multiple aspects
Subjects: Artificial Intelligence (cs.AI)
[53]  arXiv:1604.00310 [pdf, ps, other]
Title: Iterative Packing for Demand and Hypergraph Matching
Authors: Ojas Parekh
Comments: 13 pages. Appeared in the 15th conference on Integer Programming and Combinatorial Optimization (IPCO 2011); available at Springer via this http URL
Subjects: Data Structures and Algorithms (cs.DS)
[54]  arXiv:1604.00312 [pdf]
Title: Automated Alertness and Emotion Detection for Empathic Feedback During E-Learning
Comments: IEEE International Conference on Technology for Education, Kharagpur, India, 2013
Journal-ref: IEEE International Conference on Technology for Education, 2013
Subjects: Computer Vision and Pattern Recognition (cs.CV); Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
[55]  arXiv:1604.00317 [pdf, other]
Title: A Semisupervised Approach for Language Identification based on Ladder Networks
Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)
[56]  arXiv:1604.00320 [pdf, ps, other]
Title: AuDroid: Preventing Attacks on Audio Channels in Mobile Devices
Comments: 2015 Annual Computer Security Applications Conference
Subjects: Cryptography and Security (cs.CR); Operating Systems (cs.OS)
[57]  arXiv:1604.00322 [pdf, ps, other]
Title: Generalized Hypergraph Matching via Iterated Packing and Local Ratio
Comments: 12 pages. Appeared in the 12th Workshop on Approximation and Online Algorithms (WAOA 2014), available at Springer via this http URL
Subjects: Data Structures and Algorithms (cs.DS)
[58]  arXiv:1604.00326 [pdf, other]
Title: How to Transfer? Zero-Shot Object Recognition via Hierarchical Transfer of Semantic Attributes
Comments: Published as a conference paper at WACV 2015, modifications include new results with GoogLeNet features
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[59]  arXiv:1604.00346 [pdf, ps, other]
Title: Refactoring Delta-Oriented Product Lines to achieve Monotonicity
Authors: Ferruccio Damiani (University of Torino, Italy), Michael Lienhardt (University of Torino, Italy)
Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577
Journal-ref: EPTCS 206, 2016, pp. 2-16
Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
[60]  arXiv:1604.00347 [pdf, other]
Title: Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation
Authors: Frederik Deckwerth (TU Darmstadt), Géza Kulcsár (TU Darmstadt), Malte Lochau (TU Darmstadt), Gergely Varró (TU Darmstadt), Andy Schürr (TU Darmstadt)
Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577
Journal-ref: EPTCS 206, 2016, pp. 17-31
Subjects: Software Engineering (cs.SE)
[61]  arXiv:1604.00348 [pdf, other]
Title: Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems
Authors: Matthias Kowal (TU Braunschweig), Ina Schaefer (TU Braunschweig)
Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577
Journal-ref: EPTCS 206, 2016, pp. 32-45
Subjects: Software Engineering (cs.SE)
[62]  arXiv:1604.00349 [pdf, other]
Title: Analysis of Feature Models Using Alloy: A Survey
Authors: Anjali Sree-Kumar (Universitat Oberta de Catalunya), Elena Planas (Universitat Oberta de Catalunya), Robert Clarisó (Universitat Oberta de Catalunya)
Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577
Journal-ref: EPTCS 206, 2016, pp. 46-60
Subjects: Software Engineering (cs.SE)
[63]  arXiv:1604.00350 [pdf, ps, other]
Title: Towards a Feature mu-Calculus Targeting SPL Verification
Authors: Maurice H. ter Beek (ISTI-CNR, Pisa, Italy), Erik P. de Vink (TU/e, Eindhoven, The Netherlands), Tim A. C. Willemse (TU/e, Eindhoven, The Netherlands)
Comments: In Proceedings FMSPLE 2016, arXiv:1603.08577
Journal-ref: EPTCS 206, 2016, pp. 61-75
Subjects: Logic in Computer Science (cs.LO)
[64]  arXiv:1604.00357 [pdf, ps, other]
Title: Beyond matroids: Secretary Problem and Prophet Inequality with general constraints
Authors: Aviad Rubinstein
Subjects: Data Structures and Algorithms (cs.DS); Computer Science and Game Theory (cs.GT)
[65]  arXiv:1604.00359 [pdf, other]
Title: Using Well-Understood Single-Objective Functions in Multiobjective Black-Box Optimization Test Suites
Authors: Dimo Brockhoff (RANDOPT), Tea Tusar, Anne Auger (RANDOPT), Nikolaus Hansen (RANDOPT)
Comments: ArXiv e-prints, arXiv:1604.00359
Subjects: Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)
[66]  arXiv:1604.00360 [pdf]
Title: A General World Model with Poiesis: Poppers Three Worlds updated with Software
Authors: Walter Hehl
Comments: 9 pages. 1 Figure of a world model with physics, software and Geist, Book published 2016 (in German) by Springer, Heidelberg, with the general fundamentals of Software for philosophy
Subjects: Other Computer Science (cs.OH)
[67]  arXiv:1604.00367 [pdf, other]
Title: Person Re-identification in Appearance Impaired Scenarios
Comments: 10 pages
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[68]  arXiv:1604.00377 [pdf, ps, other]
Title: Reinforcement learning based local search for grouping problems: A case study on graph coloring
Subjects: Artificial Intelligence (cs.AI)
[69]  arXiv:1604.00381 [pdf, other]
Title: The New Frontier in RAN Heterogeneity: Multi-tier Drone-Cells
Comments: Accepted for publication in IEEE Communications Magazine Special Issue on 5G Radio Access Network Architecture and Technologies (November 2016)
Subjects: Networking and Internet Architecture (cs.NI); Optimization and Control (math.OC)
[70]  arXiv:1604.00384 [html]
Title: Proceedings 6th Workshop on Mathematically Structured Functional Programming
Authors: Robert Atkey (University of Strathclyde), Neelakantan Krishnaswami (University of Birmingham)
Journal-ref: EPTCS 207, 2016
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[71]  arXiv:1604.00389 [pdf, ps, other]
Title: The Internet of Things: Perspectives on Security from RFID and WSN
Comments: Survey on pre-existing security issues that carry over into the Internet of Things
Subjects: Networking and Internet Architecture (cs.NI); Cryptography and Security (cs.CR)
[72]  arXiv:1604.00400 [pdf, other]
Title: Revisiting Summarization Evaluation for Scientific Articles
Comments: LREC 2016
Subjects: Computation and Language (cs.CL)
[73]  arXiv:1604.00409 [pdf, other]
Title: Structure from Motion on a Sphere
Authors: Jonathan Ventura
Comments: in European Conference on Computer Vision (ECCV) 2016
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[74]  arXiv:1604.00417 [pdf, other]
Title: Understanding and Overcoming Biases in Customer Reviews
Comments: 15 pages, 2 figures, 3 tables
Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY); Social and Information Networks (cs.SI)
[75]  arXiv:1604.00424 [pdf, other]
Title: Local sparsity and recovery of fusion frames structured signals
Comments: 17 figures, 42 pages
Subjects: Information Theory (cs.IT)
[76]  arXiv:1604.00425 [pdf, other]
Title: Cross-lingual Models of Word Embeddings: An Empirical Comparison
Comments: To appear at ACL 2016
Subjects: Computation and Language (cs.CL)
[77]  arXiv:1604.00427 [pdf, other]
Title: Leaving Some Stones Unturned: Dynamic Feature Prioritization for Activity Detection in Streaming Video
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[78]  arXiv:1604.00433 [pdf, other]
Title: Adapting Models to Signal Degradation using Distillation
Comments: BMVC 2017
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[79]  arXiv:1604.00434 [pdf, other]
Title: Joint Optimization of Power and Data Transfer in Multiuser MIMO Systems
Subjects: Information Theory (cs.IT)
[80]  arXiv:1604.00446 [pdf, other]
Title: Throughput-Optimal Multi-hop Broadcast Algorithms
Comments: To appear in the proceedings of Mobihoc, 2016
Subjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
[81]  arXiv:1604.00449 [pdf, other]
Title: 3D-R2N2: A Unified Approach for Single and Multi-view 3D Object Reconstruction
Comments: Appendix can be found at this http URL
Subjects: Computer Vision and Pattern Recognition (cs.CV); Artificial Intelligence (cs.AI)
[82]  arXiv:1604.00454 [pdf, ps, other]
Title: Explicit constructions of high-rate MDS array codes with optimal repair bandwidth
Comments: 19pp., submitted for publication. This version contains a few additional references
Subjects: Information Theory (cs.IT)
[83]  arXiv:1604.00457 [pdf, ps, other]
Title: Stability of Analytic Neural Networks with Event-triggered Synaptic Feedbacks
Comments: 12 pages, 3 figures. arXiv admin note: substantial text overlap with arXiv:1504.08081
Journal-ref: IEEE Transactions on Neural Networks and Learning Systems, Vol. 27, No. 2, 483-494, 2016
Subjects: Neural and Evolutionary Computing (cs.NE); Dynamical Systems (math.DS); Adaptation and Self-Organizing Systems (nlin.AO)
[84]  arXiv:1604.00459 [pdf, ps, other]
Title: Local pinning of networks of multi-agent systems with transmission and pinning delays
Comments: 6 pages, 3 figures
Subjects: Systems and Control (eess.SY); Classical Analysis and ODEs (math.CA)
[85]  arXiv:1604.00461 [pdf, other]
Title: Embedding Lexical Features via Low-Rank Tensors
Comments: Accepted by NAACL 2016
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[86]  arXiv:1604.00462 [pdf, ps, other]
Title: Centralized and Decentralized Global Outer-synchronization of Asymmetric Recurrent Time-varying Neural Network by Data-sampling
Comments: 13 pages, 2 figures
Subjects: Neural and Evolutionary Computing (cs.NE); Systems and Control (eess.SY); Classical Analysis and ODEs (math.CA)
[87]  arXiv:1604.00466 [pdf, other]
Title: Automatic Annotation of Structured Facts in Images
Subjects: Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV)
[88]  arXiv:1604.00470 [pdf, other]
Title: Overlay Text Extraction From TV News Broadcast
Comments: Published in INDICON 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[89]  arXiv:1604.00475 [pdf, ps, other]
Title: Robust video object tracking via Bayesian model averaging based feature fusion
Authors: Yi Dai, Bin Liu
Journal-ref: Opt. Eng. 55(8), 083102 (2016)
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[90]  arXiv:1604.00478 [pdf, ps, other]
Title: State Space Model based Trust Evaluation over Wireless Sensor Networks: An Iterative Particle Filter Approach
Authors: Bin Liu, Shi Cheng
Comments: 11 pages, 10 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Systems and Control (eess.SY)
[91]  arXiv:1604.00493 [pdf]
Title: Steganography -- A Game of Hide and Seek in Information Communication
Comments: 5 pages, 4 figures, National Conference on Recent Innovations in Engineering and Management Sciences (RIEMS-2016)
Subjects: Multimedia (cs.MM); Cryptography and Security (cs.CR)
[92]  arXiv:1604.00494 [pdf, other]
Title: A Fully Convolutional Neural Network for Cardiac Segmentation in Short-Axis MRI
Authors: Phi Vu Tran
Comments: Initial Technical Report; Include link to models and code
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[93]  arXiv:1604.00498 [pdf, other]
Title: A Get-Together for Deaf and Dumb Robots in Three dimensional Space
Subjects: Robotics (cs.RO)
[94]  arXiv:1604.00500 [pdf, other]
Title: Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report)
Comments: Short version of this report appeared in the 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'2016) under the title "ELZAR: Triple Modular Redundancy using Intel Advanced Vector Extensions (practical experience report)"
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[95]  arXiv:1604.00502 [pdf, other]
Title: Online Updating of Word Representations for Part-of-Speech Tagging
Comments: EMNLP'2015. Released POS tagger "FLORS" for online domain adaptation
Subjects: Computation and Language (cs.CL)
[96]  arXiv:1604.00503 [pdf, ps, other]
Title: Discriminative Phrase Embedding for Paraphrase Identification
Comments: NAACL'2015
Subjects: Computation and Language (cs.CL)
[97]  arXiv:1604.00515 [pdf, ps, other]
Title: On the Dual of the Coulter-Matthews Bent Functions
Subjects: Information Theory (cs.IT)
[98]  arXiv:1604.00533 [pdf, ps, other]
Title: Voronoi Region-Based Adaptive Unsupervised Color Image Segmentation
Comments: 21 pages, 5 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[99]  arXiv:1604.00536 [pdf, ps, other]
Title: Improving SAT Solvers via Blocked Clause Decomposition
Authors: Jingchao Chen
Comments: 9 pages, 1 figure
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
[100]  arXiv:1604.00545 [pdf, ps, other]
Title: The AGI Containment Problem
Journal-ref: Lecture Notes in Artificial Intelligence 9782 (AGI 2016, Proceedings) 53-63
Subjects: Artificial Intelligence (cs.AI)
[ total of 1969 entries: 1-50 | 51-100 | 101-150 | 151-200 | 201-250 | ... | 1951-1969 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2210, contact, help  (Access key information)