Computer Science
Authors and titles for Jan 2015, skipping first 300
[ total of 1305 entries: 1-500 | 301-800 | 801-1300 | 1301-1305 ][ showing 500 entries per page: fewer | more | all ]
- [301] arXiv:1501.02084 [pdf, ps, other]
-
Title: Reviving the past: the growth of citations to old documentsAuthors: Alberto Martín-Martín, Enrique Orduña-Malea, Juan Manuel Ayllón, Emilio Delgado López-CózarComments: 13 pages, 4 tables, 3 figuresSubjects: Digital Libraries (cs.DL)
- [302] arXiv:1501.02113 [pdf, other]
-
Title: Filter Design and Performance Evaluation for Fingerprint Image SegmentationJournal-ref: PLoS ONE, vol. 11, no. 5, pp. e0154160, May 2016Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [303] arXiv:1501.02125 [pdf, ps, other]
-
Title: High Speed Data Transmission over GI-MMF Using Mode Group Division MultiplexingSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
- [304] arXiv:1501.02128 [pdf, ps, other]
-
Title: Introduction and Ranking Results of the ICSI 2014 Competition on Single Objective OptimizationSubjects: Neural and Evolutionary Computing (cs.NE)
- [305] arXiv:1501.02134 [pdf, other]
-
Title: Finding Volunteers' Engagement Profiles in Human Computation for Citizen Science ProjectsComments: 3 tables, and 4 figuresJournal-ref: Human Computation vol. 1, no. 2, pp. 245-264 (2014)Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)
- [306] arXiv:1501.02143 [pdf, other]
-
Title: Association Rule Mining using Maximum EntropySubjects: Databases (cs.DB)
- [307] arXiv:1501.02144 [pdf, ps, other]
-
Title: Algorithms for two variants of Satisfaction Approval VotingSubjects: Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
- [308] arXiv:1501.02162 [pdf, ps, other]
-
Title: Design and Implementation of rowe, a Web-Friendly Communication LibraryAuthors: Ludovic Courtès (INRIA Bordeaux - Sud-Ouest)Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Software Engineering (cs.SE)
- [309] arXiv:1501.02165 [pdf, ps, other]
-
Title: Update Consistency for Wait-free Concurrent ObjectsComments: appears in International Parallel and Distributed Processing Symposium, May 2015, Hyderabad, IndiaSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [310] arXiv:1501.02175 [pdf, ps, other]
-
Title: Brief Announcement: Update Consistency in Partitionable SystemsComments: in DISC14 - 28th International Symposium on Distributed Computing, Oct 2014, Austin, United StatesSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [311] arXiv:1501.02183 [pdf, ps, other]
-
Title: An improved energy argument for the Hegselmann-Krause modelAuthors: Anders MartinssonSubjects: Systems and Control (eess.SY); Combinatorics (math.CO)
- [312] arXiv:1501.02190 [pdf, ps, other]
-
Title: Equational axioms associated with finite automata for fixed point operations in cartesian categoriesAuthors: Zoltan EsikComments: Accepted for publication in MSCSSubjects: Logic in Computer Science (cs.LO)
- [313] arXiv:1501.02192 [pdf, ps, other]
-
Title: Investigation of a chaotic spiking neuron modelJournal-ref: International Journal of Computer Applications 99(17):1-8, August 2014Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)
- [314] arXiv:1501.02211 [pdf, ps, other]
-
Title: Survey of Security and Privacy Issues of Internet of ThingsComments: 7 pages, 3 figuresSubjects: Cryptography and Security (cs.CR)
- [315] arXiv:1501.02212 [pdf, ps, other]
-
Title: Efficient Computation by Three Counter MachinesAuthors: Holger PetersenSubjects: Computational Complexity (cs.CC)
- [316] arXiv:1501.02223 [pdf, ps, other]
-
Title: Context Information for Fast Cell Discovery in mm-wave 5G NetworksComments: 6 pages, 8 figures, in Proceedings of European Wireless 2015Journal-ref: European Wireless 2015; 21th European Wireless Conference; Proceedings of, Budapest, Hungary, 2015, pp. 1-6Subjects: Networking and Internet Architecture (cs.NI)
- [317] arXiv:1501.02224 [src]
-
Title: Stochastic Emergency Response Units (ERUs) Allocation Considering Secondary Incident OccurrencesComments: 26 pages, 6 figures, 6 tables. This paper has been withdrawn by the author due to a crucial sign error in equation 1Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC); Probability (math.PR)
- [318] arXiv:1501.02243 [pdf, other]
-
Title: Unit Vector GamesComments: final version as published in IJETJournal-ref: International Journal of Economic Theory 12 (2016), 7-27Subjects: Computer Science and Game Theory (cs.GT)
- [319] arXiv:1501.02250 [pdf, ps, other]
-
Title: Term satisfiability in FL$_\mathrm{ew}$-algebrasComments: the revised version, which benefits from the comments of a reviewer for Theoretical Computer Science, corrects a few minor errors, some parts are reorganized for clarity, and Theorem 5.1 is slightly stronger than in the original versionJournal-ref: Theoretical Computer Science, Vol. 631, June 2016, pp. 1-15Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
- [320] arXiv:1501.02282 [pdf, other]
-
Title: Adaptive and application dependent runtime guided hardware prefetcher reconfiguration on the IBM POWER7Comments: Part of ADAPT Workshop proceedings, 2015 (arXiv:1412.2347)Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [321] arXiv:1501.02285 [pdf, other]
-
Title: Interval Selection in the Streaming ModelComments: Minor correctionsSubjects: Data Structures and Algorithms (cs.DS)
- [322] arXiv:1501.02287 [pdf, ps, other]
-
Title: Immersed boundary-finite element model of fluid-structure interaction in the aortic rootSubjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Tissues and Organs (q-bio.TO)
- [323] arXiv:1501.02307 [pdf, ps, other]
-
Title: Optimization of Unequal Error Protection Rateless Codes for Multimedia MulticastingComments: 11 pages, 7 figures, 2 tables, to appear in Journal of Communications and NetworksSubjects: Information Theory (cs.IT); Multimedia (cs.MM)
- [324] arXiv:1501.02309 [pdf, ps, other]
-
Title: Range Queries on Uncertain DataComments: 26 pages. A preliminary version of this paper appeared in ISAAC 2014. In this full version, we also present solutions to the most general case of the problem (i.e., the histogram bounded case), which were left as open problems in the preliminary versionSubjects: Computational Geometry (cs.CG); Databases (cs.DB); Data Structures and Algorithms (cs.DS)
- [325] arXiv:1501.02311 [pdf, ps, other]
-
Title: Building Mini-Categories in Product NetworksComments: Accepted to CompleNet, March 2015, NYC, NY, USA; 12 pages, 4 figuresSubjects: Social and Information Networks (cs.SI)
- [326] arXiv:1501.02317 [pdf, ps, other]
-
Title: CROR: Coding-Aware Opportunistic Routing in Multi-Channel Cognitive Radio NetworksComments: 6 pages, 8 figures, to appear in Proc. of IEEE GlobeCom 2014Subjects: Networking and Internet Architecture (cs.NI)
- [327] arXiv:1501.02320 [pdf, other]
-
Title: On model misspecification and KL separation for Gaussian graphical modelsComments: Accepted to ISIT 2015Subjects: Information Theory (cs.IT); Statistics Theory (math.ST); Machine Learning (stat.ML)
- [328] arXiv:1501.02323 [pdf, other]
-
Title: Context dependent preferential attachment model for complex networksComments: 07 pagesSubjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [329] arXiv:1501.02330 [pdf, other]
-
Title: Task-Cloning Algorithms in a MapReduce Cluster with Competitive Performance BoundsSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [330] arXiv:1501.02336 [pdf, ps, other]
-
Title: Stochastic Contracts for Runtime Checking of Component-based Real-time SystemsComments: 6 pages, 4 figuresSubjects: Software Engineering (cs.SE)
- [331] arXiv:1501.02344 [pdf, ps, other]
-
Title: Fitting the Log Skew Normal to the Sum of Independent Lognormals DistributionComments: 15 pages, 7 figures, NeTCoM, CSIT, GRAPH-HOC, SPTM - 2014Subjects: Information Theory (cs.IT)
- [332] arXiv:1501.02347 [pdf, ps, other]
-
Title: Highly Accurate Log Skew Normal Approximation to the Sum of Correlated LognormalsComments: 12 pages, 6 figures, NeTCoM, CSIT, GRAPH-HOC, SPTM - 2014Subjects: Information Theory (cs.IT)
- [333] arXiv:1501.02361 [pdf, ps, other]
-
Title: Assessing the true role of coauthors in the h-index measure of an author scientific impactAuthors: Marcel AusloosComments: 13 pages ; 40 refsJournal-ref: Physica A 422 (2015) 136-142Subjects: Digital Libraries (cs.DL); Physics and Society (physics.soc-ph)
- [334] arXiv:1501.02365 [pdf, ps, other]
-
Title: Modified Trial Division Algorithm Using KNJ-Factorization Method To Factorize RSA Public Key EncryptionSubjects: Cryptography and Security (cs.CR)
- [335] arXiv:1501.02372 [pdf, ps, other]
- [336] arXiv:1501.02376 [pdf, ps, other]
-
Title: Simplified vision based automatic navigation for wheat harvesting in low income economiesSubjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV); Computers and Society (cs.CY)
- [337] arXiv:1501.02378 [pdf, ps, other]
-
Title: Low Cost Semi-Autonomous Agricultural Robots In Pakistan-Vision Based Navigation Scalable methodology for wheat harvestingAuthors: Muhammad Zubair Ahmad, Ayyaz Akhtar, Abdul Qadeer Khan, Amir Ali Khan, Muhammad Murtaza KhanSubjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV); Computers and Society (cs.CY)
- [338] arXiv:1501.02379 [pdf, ps, other]
-
Title: Autonomous Farm Vehicles: Prototype of Power ReaperSubjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV); Computers and Society (cs.CY)
- [339] arXiv:1501.02388 [pdf, ps, other]
-
Title: Computational Performance Evaluation of Two Integer Linear Programming Models for the Minimum Common String Partition ProblemComments: arXiv admin note: text overlap with arXiv:1405.5646 This paper version replaces the one submitted on January 10, 2015, due to detected error in the calculation of the variables involved in the ILP modelsSubjects: Data Structures and Algorithms (cs.DS)
- [340] arXiv:1501.02393 [pdf, ps, other]
-
Title: Riemannian Metric Learning for Symmetric Positive Definite MatricesSubjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
- [341] arXiv:1501.02398 [src]
-
Title: Scalable high-dimensional indexing and searching with HadoopComments: This paper has been withdrawn by the authors. The manuscript has been withdrawn as having no new materialSubjects: Information Retrieval (cs.IR); Distributed, Parallel, and Cluster Computing (cs.DC); Multimedia (cs.MM)
- [342] arXiv:1501.02405 [pdf, ps, other]
-
Title: Covariance-Based OFDM Spectrum Sensing with Sub-Nyquist SamplesComments: 30 pages, 5 figuresJournal-ref: Signal Processing, Volume 109, April 2015, Pages 261-268Subjects: Information Theory (cs.IT)
- [343] arXiv:1501.02410 [pdf, ps, other]
-
Title: Matching Theory for Backhaul Management in Small Cell Networks with mmWave CapabilitiesComments: In Proc. of the IEEE International Conference on Communications (ICC), Mobile and Wireless Networks Symposium, London, UK, June 2015Subjects: Information Theory (cs.IT); Computer Science and Game Theory (cs.GT)
- [344] arXiv:1501.02411 [pdf, other]
-
Title: A Gaussian Particle Filter Approach for Sensors to Track Multiple Moving TargetsAuthors: Haojun LiSubjects: Machine Learning (cs.LG)
- [345] arXiv:1501.02419 [pdf, other]
-
Title: Delay Minimizing User Association in Cellular Networks via Hierarchically Well-Separated TreesComments: 6 pages, 5 figures. Submitted on 2013-10-03 to the 2015 IEEE International Conference on Communications (ICC). Accepted on 2015-01-09 to the 2015 IEEE International Conference on Communications (ICC)Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
- [346] arXiv:1501.02428 [pdf, ps, other]
-
Title: Dynamic Weighted Bit-Flipping Decoding Algorithms for LDPC CodesSubjects: Information Theory (cs.IT)
- [347] arXiv:1501.02429 [pdf, ps, other]
-
Title: Enhancing Wireless Information and Power Transfer by Exploiting Multi-Antenna TechniquesComments: 18 pages, 6 figures, IEEE Communications Magazine, April 2015Subjects: Information Theory (cs.IT)
- [348] arXiv:1501.02431 [pdf, ps, other]
-
Title: A H-K Clustering Algorithm For High Dimensional Data Using Ensemble LearningComments: 9 pages, 1 table, 2 figures, International Journal of Information Technology Convergence and Services (IJITCS) Vol.4, No.5/6, December 2014Subjects: Databases (cs.DB)
- [349] arXiv:1501.02432 [pdf, ps, other]
-
Title: Learning a Fuzzy Hyperplane Fat Margin Classifier with Minimum VC dimensionComments: arXiv admin note: text overlap with arXiv:1410.4573Subjects: Machine Learning (cs.LG)
- [350] arXiv:1501.02444 [pdf, ps, other]
-
Title: Unified Scaling of Polar Codes: Error Exponent, Scaling Exponent, Moderate Deviations, and Error FloorsComments: 23 pages, 4 figures, submitted to IEEE Trans. Inform. Theory and accepted in part at ISIT'15Subjects: Information Theory (cs.IT)
- [351] arXiv:1501.02472 [pdf, ps, other]
-
Title: Epidemic Threshold of an SIS Model in Dynamic Switching NetworksAuthors: Mohammad Reza Sanatkar, Warren N. White, Balasubramaniam Natarajan, Caterina Scoglio, Karren A. GarrettComments: Published in IEEE Transactions on Systems, Man and CyberneticsSubjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [352] arXiv:1501.02473 [pdf, other]
-
Title: A Comparative Study of Polar Code Constructions for the AWGN ChannelComments: 9 pages, submitted, under revision of an IEEE journalSubjects: Information Theory (cs.IT)
- [353] arXiv:1501.02475 [pdf, other]
-
Title: Teleoperando Robôs Pioneer Utilizando AndroidComments: in PortugueseSubjects: Robotics (cs.RO)
- [354] arXiv:1501.02476 [pdf, ps, other]
-
Title: Open-Source Software Implications in the Competitive Mobile Platforms MarketComments: As presented on the 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011, Kaunas, Lithuania, October 12-14, IFIP Advances in Information and Communication Technology Volume 353 Year 2011Subjects: Software Engineering (cs.SE)
- [355] arXiv:1501.02478 [pdf, other]
-
Title: HySIM: A Hybrid Spectrum and Information Market for TV White Space NetworksComments: This manuscript serves as the online technical report of the article published in IEEE International Conference on Computer Communications (INFOCOM), 2015Subjects: Computer Science and Game Theory (cs.GT)
- [356] arXiv:1501.02480 [pdf, other]
-
Title: Providing Long-Term Participation Incentive in Participatory SensingComments: This manuscript serves as the online technical report of the article published in IEEE International Conference on Computer Communications (INFOCOM), 2015Subjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)
- [357] arXiv:1501.02482 [pdf, ps, other]
-
Title: Crafting a Systematic Literature Review on Open-Source PlatformsComments: As presented in 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San Jos\'e, Costa Rica, May 6-9, 2014Journal-ref: IFIP Advances in Information and Communication Technology vol 427 2014Subjects: Software Engineering (cs.SE)
- [358] arXiv:1501.02483 [pdf, ps, other]
-
Title: Design of LDPC Codes Robust to Noisy Message-Passing DecodingSubjects: Information Theory (cs.IT)
- [359] arXiv:1501.02484 [pdf, other]
-
Title: Crowd-ML: A Privacy-Preserving Learning Framework for a Crowd of Smart DevicesSubjects: Machine Learning (cs.LG); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC); Networking and Internet Architecture (cs.NI)
- [360] arXiv:1501.02487 [pdf, ps, other]
-
Title: A Unified Analysis Approach for LMS-based Variable Step-Size AlgorithmsAuthors: Muhammad Omer Bin SaeedComments: 5 pages, 1 figure, 5 tablesSubjects: Data Structures and Algorithms (cs.DS)
- [361] arXiv:1501.02492 [pdf, other]
-
Title: On the Complexity of Hub LabelingSubjects: Data Structures and Algorithms (cs.DS)
- [362] arXiv:1501.02516 [pdf, ps, other]
-
Title: Beam-searching and Transmission Scheduling in Millimeter Wave CommunicationsComments: 5 figures, 7 pages, accepted in ICC 2015Subjects: Information Theory (cs.IT); Performance (cs.PF)
- [363] arXiv:1501.02527 [pdf, other]
-
Title: Autodetection and Classification of Hidden Cultural City Districts from Yelp ReviewsSubjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)
- [364] arXiv:1501.02528 [pdf, other]
-
Title: A Systematic Scheme for Measuring the Performance of the Display-Camera ChannelComments: 8 pages, preliminary conference versionSubjects: Multimedia (cs.MM)
- [365] arXiv:1501.02530 [pdf, other]
-
Title: A Dataset for Movie DescriptionSubjects: Computer Vision and Pattern Recognition (cs.CV); Computation and Language (cs.CL); Information Retrieval (cs.IR)
- [366] arXiv:1501.02549 [pdf, ps, other]
-
Title: Critical Database Size for Effective CachingSubjects: Information Theory (cs.IT)
- [367] arXiv:1501.02555 [pdf, other]
-
Title: Tri-Subject Kinship Verification: Understanding the Core of A FamilySubjects: Computer Vision and Pattern Recognition (cs.CV)
- [368] arXiv:1501.02560 [pdf, other]
-
Title: Belief Hierarchical ClusteringJournal-ref: 3rd International Conference on Belief Functions, Sep 2014, Oxford, United Kingdom. pp.68 - 76Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)
- [369] arXiv:1501.02565 [pdf, other]
-
Title: EpicFlow: Edge-Preserving Interpolation of Correspondences for Optical FlowAuthors: Jerome Revaud (INRIA Grenoble Rhône-Alpes / LJK Laboratoire Jean Kuntzmann), Philippe Weinzaepfel (INRIA Grenoble Rhône-Alpes / LJK Laboratoire Jean Kuntzmann), Zaid Harchaoui (INRIA Grenoble Rhône-Alpes / LJK Laboratoire Jean Kuntzmann), Cordelia Schmid (INRIA Grenoble Rhône-Alpes / LJK Laboratoire Jean Kuntzmann)Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [370] arXiv:1501.02573 [pdf, ps, other]
-
Title: Shield Synthesis: Runtime Enforcement for Reactive SystemsComments: This is an extended version of [5], featuring an additional appendixSubjects: Logic in Computer Science (cs.LO)
- [371] arXiv:1501.02581 [pdf, other]
-
Title: Mechanics-based solution verification for porous media modelsSubjects: Numerical Analysis (math.NA)
- [372] arXiv:1501.02588 [pdf, ps, other]
-
Title: A Novel Clustering Approach Based on Group Quasi-Consensus of Unstable Dynamic Linear High-Order Multi-Agent SystemsJournal-ref: Complexity, 4978613, 2017Subjects: Systems and Control (eess.SY)
- [373] arXiv:1501.02592 [pdf, other]
-
Title: Photonic Delay Systems as Machine Learning ImplementationsJournal-ref: Journal of Machine Learning Research, vol. 16, pp. 2081-2097 (2015)Subjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG)
- [374] arXiv:1501.02594 [pdf, ps, other]
-
Title: Traffic Convexity Aware Cellular Networks: A Vehicular Heavy User PerspectiveComments: 15 pages, 5 figures, 1 table, to appear in IEEE Wireless Communications MagazineSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
- [375] arXiv:1501.02598 [pdf, other]
-
Title: Combining Language and Vision with a Multimodal Skip-gram ModelComments: accepted at NAACL 2015, camera ready version, 11 pagesSubjects: Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
- [376] arXiv:1501.02601 [pdf, other]
-
Title: On Vulnerabilities of the Security Association in the IEEE 802.15.6 StandardAuthors: Mohsen TooraniJournal-ref: Financial Cryptography and Data Security, LNCS 8976, pp. 245-260, 2015Subjects: Cryptography and Security (cs.CR)
- [377] arXiv:1501.02607 [pdf, ps, other]
-
Title: Characterization theorems for PDL and FO(TC)Authors: Facundo CarreiroComments: Technical Report, 70 pages. arXiv admin note: text overlap with arXiv:1401.4374Subjects: Logic in Computer Science (cs.LO)
- [378] arXiv:1501.02620 [pdf, other]
-
Title: Energy Harvesting Small Cell Networks: Feasibility, Deployment and OperationComments: 19 pages, 5 figures, to appear in IEEE Communications MagazineSubjects: Information Theory (cs.IT)
- [379] arXiv:1501.02623 [pdf, ps, other]
-
Title: Step-Indexed Logical Relations for Probability (long version)Comments: Extended version with appendix of a FoSSaCS'15 paperSubjects: Logic in Computer Science (cs.LO)
- [380] arXiv:1501.02627 [pdf, other]
-
Title: A fast numerical method for max-convolution and the application to efficient max-product inference in Bayesian networksAuthors: Oliver SerangJournal-ref: Journal of Computational Biology. August 2015, 22(8): 770-783Subjects: Numerical Analysis (math.NA); Computation (stat.CO); Methodology (stat.ME); Machine Learning (stat.ML)
- [381] arXiv:1501.02633 [pdf, ps, other]
-
Title: Very Static Enforcement of Dynamic PoliciesComments: Technical Report of publication under the same name in Principles of Security and Trust (POST) 2015Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)
- [382] arXiv:1501.02646 [pdf, ps, other]
-
Title: Bibliometric-enhanced Information Retrieval: 2nd International BIR WorkshopComments: 4 pages, 37th European Conference on Information Retrieval, BIR workshopSubjects: Information Retrieval (cs.IR); Digital Libraries (cs.DL)
- [383] arXiv:1501.02652 [pdf, other]
-
Title: A Flexible Framework for Defining, Representing and Detecting Changes on the Data WebSubjects: Databases (cs.DB)
- [384] arXiv:1501.02655 [pdf, other]
-
Title: Texture Retrieval via the Scattering TransformSubjects: Information Retrieval (cs.IR); Computer Vision and Pattern Recognition (cs.CV)
- [385] arXiv:1501.02659 [pdf, ps, other]
-
Title: PacMap: Transferring PacMan to the Physical RealmComments: 6 pages, 3 figures, Proceedings of the International Conference on Pervasive Games (PERGAMES'2014), Rome, Italy, 27 October 2014Subjects: Multimedia (cs.MM)
- [386] arXiv:1501.02661 [pdf, ps, other]
-
Title: Evaluation of Pervasive Games: Recruitment of Qualified Participants through Preparatory Game PhasesComments: 7 pages, 4 Tables, Proceedings of the International Conference on Pervasive Games (PERGAMES'2014), Rome, Italy, 27 October 2014Subjects: Human-Computer Interaction (cs.HC)
- [387] arXiv:1501.02662 [pdf, other]
-
Title: Social Participation Ontology: community documentation, enhancements and use examplesAuthors: Renato Fabbri, Henrique Parra Parra Filho, Rodrigo Bandeira de Luna, Ricardo Augusto Poppi Martins, Flor Karina Mamani Amanqui, Dilvan de Abreu Moreira, Osvaldo Novais de Oliveira JuniorComments: See ancillary for table of terms, OPS code and figures. Further information is at this https URLSubjects: Computers and Society (cs.CY); Artificial Intelligence (cs.AI)
- [388] arXiv:1501.02670 [pdf, other]
-
Title: Navigating the Semantic Horizon using Relative Neighborhood GraphsSubjects: Computation and Language (cs.CL)
- [389] arXiv:1501.02683 [pdf, ps, other]
-
Title: Lazy TSO ReachabilityComments: accepted to FASE 2015Subjects: Programming Languages (cs.PL)
- [390] arXiv:1501.02686 [pdf, ps, other]
-
Title: Watermarking PDF Documents using Various Representations of Self-inverting PermutationsComments: 17 pages, 6 figures. arXiv admin note: text overlap with arXiv:1003.1796 by other authorsSubjects: Multimedia (cs.MM)
- [391] arXiv:1501.02699 [pdf, other]
-
Title: Closing the Gap -- Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic -- Extended Version --Comments: includes all appendicesSubjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
- [392] arXiv:1501.02702 [pdf, other]
-
Title: Max-Cost Discrete Function Evaluation Problem under a BudgetSubjects: Machine Learning (cs.LG)
- [393] arXiv:1501.02713 [pdf, other]
-
Title: Bridge Consensus: Ignoring Initial InessentialsComments: Submitted to 2015 American Control ConferenceSubjects: Systems and Control (eess.SY); Multiagent Systems (cs.MA)
- [394] arXiv:1501.02714 [pdf, other]
-
Title: From Visual Attributes to Adjectives through Decompositional Distributional SemanticsComments: accepted at Transactions of the Association for Computational Linguistics (TACL), 3/2015Subjects: Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV)
- [395] arXiv:1501.02716 [pdf, ps, other]
-
Title: Gracefully Degrading Consensus and $k$-Set Agreement in Directed Dynamic NetworksComments: arXiv admin note: text overlap with arXiv:1204.0641Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
- [396] arXiv:1501.02724 [pdf, other]
-
Title: Towards Energy-Proportional Computing Using Subsystem-Level Power ManagementSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [397] arXiv:1501.02729 [pdf, other]
-
Title: On the Energy Proportionality of Scale-Out WorkloadsSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [398] arXiv:1501.02732 [pdf, other]
-
Title: Predicting Performance During Tutoring with Models of Recent PerformanceSubjects: Artificial Intelligence (cs.AI)
- [399] arXiv:1501.02741 [pdf, other]
-
Title: Salient Object Detection: A BenchmarkJournal-ref: Image Processing, IEEE Transactions on (Volume:24, Issue: 12), 2015Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [400] arXiv:1501.02785 [pdf, other]
-
Title: The Economics of Quality Sponsored Data in Non-Neutral NetworksComments: Submitted to IEEE/ACM Transaction on NetworkingSubjects: Networking and Internet Architecture (cs.NI); Computer Science and Game Theory (cs.GT)
- [401] arXiv:1501.02795 [pdf, ps, other]
-
Title: Scanning and Parsing Languages with Ambiguities and Constraints: The Lamb and Fence AlgorithmsSubjects: Formal Languages and Automata Theory (cs.FL)
- [402] arXiv:1501.02825 [pdf, ps, other]
-
Title: A Survey on Recent Advances of Computer Vision Algorithms for Egocentric VideoAuthors: Sven BambachSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [403] arXiv:1501.02834 [pdf, ps, other]
-
Title: Generalized Eilenberg Theorem I: Local Varieties of LanguagesSubjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Category Theory (math.CT)
- [404] arXiv:1501.02854 [pdf, other]
-
Title: Stability and Performance Limits of Latency-Prone Distributed Feedback ControllersComments: 13 pages, 10 figures, 2 tables, 31 referenceSubjects: Systems and Control (eess.SY); Robotics (cs.RO)
- [405] arXiv:1501.02855 [pdf, other]
-
Title: Assessing Whole-Body Operational Space Control in a Point-Foot Series Elastic Biped: Balance on Split Terrain and Undirected WalkingComments: 17 pages, 9 figures, 4 tablesSubjects: Robotics (cs.RO); Systems and Control (eess.SY)
- [406] arXiv:1501.02866 [pdf, ps, other]
-
Title: The Strategic Formation of Multi-Layer NetworksSubjects: Computer Science and Game Theory (cs.GT); Social and Information Networks (cs.SI)
- [407] arXiv:1501.02869 [pdf, ps, other]
-
Title: Transport Protocols in Cognitive Radio Networks: A SurveyComments: to appear in KSII Transactions on Internet and Information SystemsSubjects: Networking and Internet Architecture (cs.NI)
- [408] arXiv:1501.02870 [pdf, ps, other]
-
Title: Topological properties on the diameters of the integer simplexAuthors: Meijie MaSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [409] arXiv:1501.02876 [src]
-
Title: Deep Image: Scaling up Image RecognitionComments: This paper has been withdrawn by the authors due to a mistake related to ImageNet server submissionsSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [410] arXiv:1501.02885 [pdf, ps, other]
-
Title: Benchmarking Obfuscators of FunctionalityAuthors: Clark ThomborsonComments: 8 pp., submitted to SPRO 2015 (this https URL)Subjects: Cryptography and Security (cs.CR); Software Engineering (cs.SE)
- [411] arXiv:1501.02886 [pdf, other]
-
Title: Applications of Repeated Games in Wireless Networks: A SurveyComments: 32 pages, 15 figures, 5 tables, 168 referencesSubjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)
- [412] arXiv:1501.02887 [pdf, other]
-
Title: Online Handwritten Devanagari Stroke Recognition Using Extended Directional FeaturesComments: 8th International Conference on Signal Processing and Communication Systems 15 - 17 December 2014, Gold Coast, AustraliaSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [413] arXiv:1501.02889 [pdf, ps, other]
-
Title: Degrees of Freedom of Full-Duplex Multiantenna Cellular NetworksComments: 21 pages, 16 figures, a shorter version of this paper has been submitted to the IEEE International Symposium on Information Theory (ISIT) 2015Subjects: Information Theory (cs.IT)
- [414] arXiv:1501.02892 [pdf, ps, other]
-
Title: Lossless Secret Image Sharing SchemesComments: International Journal of Computational Intelligence and Information Security Vol. 4 April 2013, ISSN: 1837-7823Subjects: Cryptography and Security (cs.CR)
- [415] arXiv:1501.02894 [pdf, ps, other]
-
Title: A Modified No Search Algorithm for Fractal Image CompressionSubjects: Computer Vision and Pattern Recognition (cs.CV); Multimedia (cs.MM)
- [416] arXiv:1501.02905 [pdf, other]
-
Title: Sampling Online Social Networks via Heterogeneous StatisticsSubjects: Social and Information Networks (cs.SI)
- [417] arXiv:1501.02911 [pdf, ps, other]
-
Title: Sorting and Selection with Imprecise ComparisonsSubjects: Data Structures and Algorithms (cs.DS)
- [418] arXiv:1501.02917 [pdf, other]
-
Title: Spline Waveforms and Interference Analysis for 5G Random Access with Short Message SupportComments: Updated version with publication information on front pageSubjects: Information Theory (cs.IT)
- [419] arXiv:1501.02918 [pdf, other]
-
Title: Trajectory Aware Macro-cell Planning for Mobile UsersAuthors: Shubhadip Mitra, Sayan Ranu, Vinay Kolar, Aditya Telang, Arnab Bhattacharya, Ravi Kokku, Sriram RaghavanComments: Published in INFOCOM 2015Subjects: Networking and Internet Architecture (cs.NI)
- [420] arXiv:1501.02921 [pdf, ps, other]
- [421] arXiv:1501.02923 [pdf, ps, other]
-
Title: Efficient Blind Compressed Sensing Using Sparsifying Transforms with Convergence Guarantees and Application to MRIComments: This work has been accepted for publication in the SIAM Journal on Imaging Sciences. It also appears in Saiprasad Ravishankar's PhD thesis, that was deposited with the University of Illinois on December 05, 2014Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
- [422] arXiv:1501.02925 [pdf, ps, other]
-
Title: Programming and Reasoning with Guarded Recursion for Coinductive TypesComments: Version of FoSSaCS 2015 paper with appendicesSubjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
- [423] arXiv:1501.02940 [pdf, ps, other]
-
Title: Low Complexity Transceiver Design for GFDMComments: 9 pages, 5 figuresSubjects: Information Theory (cs.IT)
- [424] arXiv:1501.02954 [pdf, other]
-
Title: Complexity of Power Draws for Load DisaggregationSubjects: Other Computer Science (cs.OH)
- [425] arXiv:1501.02967 [pdf, other]
- [426] arXiv:1501.02973 [pdf, ps, other]
-
Title: D2D-based V2V Communications with Latency and Reliability ConstraintsSubjects: Information Theory (cs.IT)
- [427] arXiv:1501.02988 [pdf, ps, other]
-
Title: Sensing-Throughput Tradeoff in Cognitive Radio With Random Arrivals and Departures of Multiple Primary UsersComments: Accepted for publication in IEEE Communications LettersSubjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
- [428] arXiv:1501.02995 [pdf, ps, other]
-
Title: Improved 8-point Approximate DCT for Image and Video Compression Requiring Only 14 AdditionsComments: 30 pages, 7 figures, 5 tablesJournal-ref: Circuits and Systems I: Regular Papers, IEEE Transactions on, Volume 61, Issue 6, June 2014, 1727--1740Subjects: Multimedia (cs.MM); Computer Vision and Pattern Recognition (cs.CV); Numerical Analysis (math.NA); Methodology (stat.ME)
- [429] arXiv:1501.02997 [pdf, other]
-
Title: Profinite Techniques for Probabilistic Automata and the Markov Monoid AlgorithmAuthors: Nathanaël FijalkowComments: Conference version: STACS'2016, Symposium on Theoretical Aspects of Computer Science Journal version: TCS'2017, Theoretical Computer ScienceJournal-ref: Theoretical Computer Science 680C, 2017Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
- [430] arXiv:1501.03015 [pdf, ps, other]
-
Title: Exploring the efficacy of molecular fragments of different complexity in computational SAR modelingSubjects: Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG)
- [431] arXiv:1501.03016 [pdf, ps, other]
-
Title: On Lipschitz Bijections between Boolean FunctionsComments: 16 pagesSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO); Metric Geometry (math.MG)
- [432] arXiv:1501.03018 [pdf, ps, other]
-
Title: Context-Dependent Functions: Narrowing the Realm of Turing's Halting ProblemAuthors: Nicholas J. MaciasSubjects: Logic in Computer Science (cs.LO)
- [433] arXiv:1501.03028 [pdf, other]
-
Title: Knowledge in Communication NetworksSubjects: Logic in Computer Science (cs.LO)
- [434] arXiv:1501.03032 [pdf, ps, other]
-
Title: $G^{k,l}$-constrained multi-degree reduction of Bézier curvesJournal-ref: Numerical Algorithms 71, 121-137 (2016)Subjects: Graphics (cs.GR)
- [435] arXiv:1501.03058 [pdf, ps, other]
-
Title: An Adaptive Neuro-Fuzzy Inference System Modeling for Grid-Adaptive Interpolation over Depth ImagesAuthors: Arbaaz Singh SidhuComments: 8 pages, 6 figures, International conference on Signal, Image Processing and Management (SPM) 2014Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [436] arXiv:1501.03063 [pdf, other]
-
Title: AutoProof: Auto-active Functional Verification of Object-oriented ProgramsJournal-ref: Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science, 9035:566--580, Springer, April 2015Subjects: Logic in Computer Science (cs.LO)
- [437] arXiv:1501.03064 [pdf, ps, other]
-
Title: Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015Authors: Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles Navarro, Antonio Vilches, Maria Garzaran, Ismat Chaib Draa, Jamel Tayeb, Smail Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto Garcia-Ortiz, Pedro Lopez-Garcia, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavřík, Albert Saà-Garriga, David Castells-Rufas, Jordi CarrabinaSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [438] arXiv:1501.03069 [pdf, other]
-
Title: Learning from Multiple Sources for Video SummarisationSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [439] arXiv:1501.03077 [pdf, other]
-
Title: Variance Analysis of Linear SIMO Models with Spatially Correlated NoiseComments: Submitted to Automatica for possible publicationSubjects: Systems and Control (eess.SY)
- [440] arXiv:1501.03084 [pdf, other]
-
Title: Deep Learning with Nonparametric ClusteringAuthors: Gang ChenComments: 14 pages, 6 figuresSubjects: Machine Learning (cs.LG)
- [441] arXiv:1501.03093 [pdf, other]
-
Title: MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectivesComments: Extended version for a TACAS 2015 tool demo paperSubjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
- [442] arXiv:1501.03100 [pdf, other]
-
Title: Using Geometry to Detect Grasps in 3D Point CloudsSubjects: Robotics (cs.RO)
- [443] arXiv:1501.03105 [pdf, other]
-
Title: A Parallel Min-Cut Algorithm using Iteratively Reweighted Least SquaresSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Numerical Analysis (math.NA)
- [444] arXiv:1501.03124 [pdf, ps, other]
-
Title: Robust and Real Time Detection of Curvy Lanes (Curves) with Desired Slopes for Driving Assistance and Autonomous VehiclesComments: 13 pages, 12 figures, published in International Conference on Signal and Image Processing (AIRCC Publishing Corporation)Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [445] arXiv:1501.03139 [pdf, other]
-
Title: Secure and trustworthy file sharing over cloud storage using eID tokensComments: 12 pages, 1 figure, submitted and presented at OID conference 2014Subjects: Cryptography and Security (cs.CR)
- [446] arXiv:1501.03188 [pdf, other]
-
Title: Video Manipulation Techniques for the Protection of Privacy in Remote Presence SystemsAuthors: Alexander Hubers, Emily Andrulis, Levi Scott, Tanner Stirrat, Duc Tran, Ruonan Zhang, Ross Sowell, Cindy Grimm, William D. SmartComments: 14 pages, 8 figuresSubjects: Robotics (cs.RO); Cryptography and Security (cs.CR); Computers and Society (cs.CY)
- [447] arXiv:1501.03191 [pdf, other]
-
Title: Annotating Cognates and Etymological Origin in Turkic LanguagesComments: 5 pages, 8 tables; appeared in Proceedings of the First Workshop on Language Resources and Technologies for Turkic Languages at the Eighth International Conference on Language Resources and Evaluation (LREC'12), pages 47-51, Istanbul, Turkey, May 2012. European Language Resources AssociationJournal-ref: In Proceedings of the First Workshop on Language Resources and Technologies for Turkic Languages at LREC'12, pages 47-51, Istanbul, Turkey, May 2012. European Language Resources AssociationSubjects: Computation and Language (cs.CL)
- [448] arXiv:1501.03194 [pdf, other]
-
Title: The cavity method for analysis of large-scale penalized regressionComments: 15 pages, 7 figures, new version focusing only on cavity method, title changeSubjects: Information Theory (cs.IT); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech)
- [449] arXiv:1501.03196 [pdf, other]
-
Title: Forward Delay-based Packet Scheduling Algorithm for Multipath TCPComments: 6 pagesSubjects: Networking and Internet Architecture (cs.NI)
- [450] arXiv:1501.03208 [pdf, ps, other]
-
Title: Compressive Sensing with Redundant Dictionaries and Structured MeasurementsSubjects: Information Theory (cs.IT); Numerical Analysis (math.NA)
- [451] arXiv:1501.03209 [pdf, other]
-
Title: Neural Implementation of Probabilistic Models of CognitionJournal-ref: Cognitive Systems Research, 40, (2016) 99-113Subjects: Neural and Evolutionary Computing (cs.NE); Neurons and Cognition (q-bio.NC)
- [452] arXiv:1501.03210 [pdf, other]
-
Title: Towards Deep Semantic Analysis Of HashtagsComments: To Appear in 37th European Conference on Information RetrievalSubjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)
- [453] arXiv:1501.03218 [pdf, other]
-
Title: Expanding the Vocabulary of Multitouch Input using Magnetic FingerprintsComments: 8 pages, 8 figuresSubjects: Human-Computer Interaction (cs.HC)
- [454] arXiv:1501.03227 [pdf, other]
-
Title: Using Riemannian geometry for SSVEP-based Brain Computer InterfaceComments: 29 pages, 6 figures, 1 table, research report. Update on the overall text, most of the figure are modified, the algorithm is explained more clearly, updated comparisons with state of the art methodsSubjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
- [455] arXiv:1501.03235 [pdf, ps, other]
-
Title: Successive Cancellation Decoding of Polar Codes using Stochastic ComputingComments: accepted by International Symposium on Circuits and Systems (ISCAS) 2015Subjects: Information Theory (cs.IT)
- [456] arXiv:1501.03241 [pdf, ps, other]
-
Title: Multi-phase IRC Botnet and Botnet Behavior Detection ModelComments: 10 pages, Journal paperJournal-ref: International Journal of Computer Applications 66(15):41-51, March 2013Subjects: Cryptography and Security (cs.CR)
- [457] arXiv:1501.03246 [pdf, other]
-
Title: Tighter Estimates for epsilon-nets for DisksSubjects: Computational Geometry (cs.CG)
- [458] arXiv:1501.03268 [pdf, ps, other]
-
Title: Progress, Fairness and Justness in Process AlgebraSubjects: Logic in Computer Science (cs.LO)
- [459] arXiv:1501.03271 [pdf, ps, other]
-
Title: Higher dimensional homodyne filtering for suppression of incidental phase artifacts in multichannel MRISubjects: Computer Vision and Pattern Recognition (cs.CV); Medical Physics (physics.med-ph)
- [460] arXiv:1501.03273 [pdf, other]
-
Title: Classification with Low Rank and Missing DataSubjects: Machine Learning (cs.LG)
- [461] arXiv:1501.03293 [pdf, ps, other]
-
Title: Sequent Calculus in the Topos of TreesComments: Extended version, with full proof details, of a paper accepted to FoSSaCS 2015 (this version edited to fix some minor typos)Subjects: Logic in Computer Science (cs.LO)
- [462] arXiv:1501.03300 [pdf, other]
-
Title: Complete analytic solution to Brownian unicycle dynamicsAuthors: Agostino MartinelliComments: 22 pages, 6 figures, 2 tablesSubjects: Robotics (cs.RO)
- [463] arXiv:1501.03302 [pdf, ps, other]
-
Title: Hard to Cheat: A Turing Test based on Answering Questions about ImagesComments: Presented in AAAI-15 Workshop: Beyond the Turing TestSubjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
- [464] arXiv:1501.03307 [pdf, other]
-
Title: Binary Systematic Network Coding for Progressive Packet DecodingComments: Proc. of IEEE ICC 2015 - Communication Theory Symposium, to appearSubjects: Information Theory (cs.IT); Multimedia (cs.MM); Performance (cs.PF)
- [465] arXiv:1501.03310 [pdf, ps, other]
-
Title: Sleep Period Optimization Model For Layered Video Service Delivery Over eMBMS NetworksComments: Proc. of IEEE ICC 2015, Selected Areas in Communications Symposium - Green Communications Track, to appearSubjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT); Multimedia (cs.MM); Performance (cs.PF)
- [466] arXiv:1501.03311 [pdf, other]
-
Title: Optimized Network-coded Scalable Video Multicasting over eMBMS NetworksComments: Proc. of IEEE ICC 2015 - Mobile and Wireless Networking Symposium, to appearSubjects: Information Theory (cs.IT); Multimedia (cs.MM); Networking and Internet Architecture (cs.NI); Performance (cs.PF)
- [467] arXiv:1501.03320 [pdf, ps, other]
-
Title: Image enhancement in intensity projected multichannel MRI using spatially adaptive directional anisotropic diffusionSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [468] arXiv:1501.03336 [pdf, other]
-
Title: Reducing overheads of dynamic scheduling on heterogeneous chipsAuthors: Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles Navarro, Antonio Vilches, María J. GarzaránComments: Presented at HIP3ES, 2015 (arXiv: 1501.03064)Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [469] arXiv:1501.03342 [pdf, ps, other]
-
Title: Research Data Explored: Citations versus AltmetricsComments: Accpeted for publication at the 15th International Conference on Scientometrics and Informetrics (ISSI 2015)Subjects: Digital Libraries (cs.DL)
- [470] arXiv:1501.03353 [pdf, ps, other]
-
Title: PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case LawComments: Extended versionSubjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
- [471] arXiv:1501.03354 [pdf, other]
-
Title: Unravelling the Impact of Temporal and Geographical Locality in Content Caching SystemsAuthors: Stefano Traverso, Mohamed Ahmed, Michele Garetto, Paolo Giaccone, Emilio Leonardi, Saverio NiccoliniComments: 14 pages, 11 Figures, 2 AppendicesSubjects: Networking and Internet Architecture (cs.NI)
- [472] arXiv:1501.03358 [pdf, other]
-
Title: Recycling Krylov subspaces for CFD applications and a new hybrid recycling solverComments: 26 pages, 7 figuresSubjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph); Fluid Dynamics (physics.flu-dyn)
- [473] arXiv:1501.03378 [pdf, other]
-
Title: OnionBots: Subverting Privacy Infrastructure for Cyber AttacksComments: 12 pages, 8 figuresSubjects: Cryptography and Security (cs.CR)
- [474] arXiv:1501.03380 [pdf, ps, other]
- [475] arXiv:1501.03383 [pdf, other]
-
Title: On the Distribution of Salient Objects in Web Images and its Influence on Salient Object DetectionJournal-ref: PLoS ONE 10 (2015)Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [476] arXiv:1501.03389 [pdf, ps, other]
-
Title: All-to-all Broadcast for Vehicular Networks Based on Coded Slotted ALOHAComments: v2: small typos fixedSubjects: Information Theory (cs.IT)
- [477] arXiv:1501.03407 [pdf, ps, other]
-
Title: User Association in Massive MIMO HetNetsSubjects: Information Theory (cs.IT)
- [478] arXiv:1501.03424 [pdf, ps, other]
-
Title: The potential and challenges of Big data - Recommendation systems next level applicationComments: appears in IJCSI International Journal of Computer Science Issues, Vol. 11, Issue 5, No 2, September 2014Subjects: Computers and Society (cs.CY)
- [479] arXiv:1501.03435 [pdf, ps, other]
-
Title: BITS-Tree-An Efficient Data Structure for Segment Storage and Query ProcessingComments: 11 pages, 5 figuresJournal-ref: International Journal of Computers and Technology,11(10):3108-3116, December 2013Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)
- [480] arXiv:1501.03446 [pdf, ps, other]
-
Title: Flexible Content Placement in Cache Networks using Reinforced CountersComments: Submitted to 33rd Brazilian Symposium on Computer Networks and Distributed Systems, SBRC' 2015Subjects: Networking and Internet Architecture (cs.NI)
- [481] arXiv:1501.03458 [pdf, ps, other]
-
Title: The ModelCC Model-Based Parser GeneratorSubjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
- [482] arXiv:1501.03467 [pdf, ps, other]
-
Title: A Superintroduction to Google Matrices for UndergraduatesComments: Latex; 12 pages; 2 figuresJournal-ref: East Journal of Mathematical Education, 14 (2015), 55-68Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [483] arXiv:1501.03471 [pdf, other]
-
Title: Computational fact checking from knowledge networksAuthors: Giovanni Luca Ciampaglia, Prashant Shiralkar, Luis M. Rocha, Johan Bollen, Filippo Menczer, Alessandro FlamminiSubjects: Computers and Society (cs.CY); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [484] arXiv:1501.03474 [pdf, other]
-
Title: Stability of Markov regenerative switched linear systemsSubjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
- [485] arXiv:1501.03481 [pdf, other]
-
Title: Iso-Quality of Service: Fairly Ranking Servers for Real-Time Data AnalyticsAuthors: Giorgis Georgakoudis, Charles J. Gillan, Ahmed Sayed, Ivor Spence, Richard Faloon, Dimitrios S. NikolopoulosComments: 12 pages, 5 figures, 8 tables, 6 equations. arXiv admin note: text overlap with arXiv:1501.00048Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [486] arXiv:1501.03542 [pdf, other]
-
Title: Secrecy Through Synchronization ErrorsComments: 5 pages, 6 figures, submitted to ISIT 2015Subjects: Information Theory (cs.IT)
- [487] arXiv:1501.03545 [pdf, other]
-
Title: Fast generation of complex networks with underlying hyperbolic geometrySubjects: Data Structures and Algorithms (cs.DS)
- [488] arXiv:1501.03547 [pdf, ps, other]
-
Title: Cloud-Assisted Remote Sensor Network Virtualization for Distributed Consensus EstimationComments: 11 pages, double column, pre-submissionSubjects: Networking and Internet Architecture (cs.NI)
- [489] arXiv:1501.03566 [pdf, ps, other]
-
Title: New bounds on the number of tests for disjunct matricesComments: 4 pages, to appear in IEEE Transactions on Information TheorySubjects: Information Theory (cs.IT); Combinatorics (math.CO)
- [490] arXiv:1501.03569 [pdf, other]
-
Title: On the Capacity of Symmetric Gaussian Interference Channels with FeedbackComments: To appear in Proc. of IEEE International Symposium on Information Theory (ISIT), Hong Kong, June 14-19, 2015Subjects: Information Theory (cs.IT)
- [491] arXiv:1501.03577 [pdf, ps, other]
-
Title: Consistence beats causality in recommender systemsComments: 16 pages, 4 tables, 4 figuresSubjects: Information Retrieval (cs.IR); Data Analysis, Statistics and Probability (physics.data-an)
- [492] arXiv:1501.03593 [pdf, other]
-
Title: Privacy by Design: On the Conformance Between Protocols and ArchitecturesAuthors: Vinh-Thong Ta (Inria Grenoble Rhône-Alpes / CITI Insa de Lyon, CITI), Thibaud Antignac (Inria Grenoble Rhône-Alpes / CITI Insa de Lyon, CITI)Comments: FPS - 7th International Symposium on Foundations \& Practice of Security, Nov 2014, Montreal, Canada. SpringerSubjects: Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)
- [493] arXiv:1501.03601 [pdf, ps, other]
-
Title: Capacity Analysis in Multi-Radio Multi-Channel Cognitive Radio Networks: A Small World PerspectiveComments: Wireless Pers Commun(2014)79:2209-2225Subjects: Networking and Internet Architecture (cs.NI)
- [494] arXiv:1501.03602 [pdf, ps, other]
-
Title: Equation $x^iy^jx^k=u^iv^ju^k$ in wordsJournal-ref: LATA 2015, LNCS 8977 414-423Subjects: Formal Languages and Automata Theory (cs.FL)
- [495] arXiv:1501.03605 [pdf, other]
-
Title: Feature Lines for Illustrating Medical Surface Models: Mathematical Background and SurveyComments: 33 pagesSubjects: Graphics (cs.GR)
- [496] arXiv:1501.03609 [pdf, ps, other]
-
Title: Random Cell Association and Void Probability in Poisson-Distributed Cellular NetworksComments: 7 pages, 4 figures, conference (Figures are updated in this version)Subjects: Information Theory (cs.IT)
- [497] arXiv:1501.03610 [pdf, ps, other]
-
Title: DRS: Dynamic Resource Scheduling for Real-Time Analytics over Fast StreamsComments: This is the our latest version with certain modificationSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [498] arXiv:1501.03613 [pdf, ps, other]
-
Title: LTE enhancements for Public Safety and Security communications to support Group Multimedia CommunicationsComments: IEEE Network Magazine, to appearSubjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)
- [499] arXiv:1501.03616 [pdf, ps, other]
-
Title: On the Renyi Divergence, Joint Range of Relative Entropies, and a Channel Coding TheoremAuthors: Igal SasonComments: Submitted to IEEE Trans. on Information Theory in March 2015; revised in October 2015Subjects: Information Theory (cs.IT); Probability (math.PR)
- [500] arXiv:1501.03617 [pdf, ps, other]
-
Title: Confidential Algorithm for Golden Cryptography Using Haar WaveletSubjects: Cryptography and Security (cs.CR)
- [501] arXiv:1501.03619 [pdf, ps, other]
-
Title: Optimal Operator State Migration for Elastic Data Stream ProcessingAuthors: Jianbing Ding, Tom Z. J. Fu, Richard T. B. Ma, Marianne Winslett, Yin Yang, Zhenjie Zhang, Hongyang ChaoComments: The latest version with a few modificationsSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [502] arXiv:1501.03643 [pdf, ps, other]
-
Title: On robust width property for Lasso and Dantzig selectorAuthors: Hui ZhangComments: 8 pages; A mistake has been correctedSubjects: Information Theory (cs.IT); Optimization and Control (math.OC)
- [503] arXiv:1501.03654 [pdf, ps, other]
-
Title: Spatial Wireless Channel Prediction under Location UncertaintySubjects: Information Theory (cs.IT)
- [504] arXiv:1501.03669 [pdf, other]
-
Title: A Proximal Approach for Sparse Multiclass SVMSubjects: Machine Learning (cs.LG)
- [505] arXiv:1501.03685 [pdf, other]
-
Title: Coordination in distributed networks via coded actions with application to power controlComments: Submitted to ieee transactions on information theory. Some results partly published in references [1-3]Subjects: Information Theory (cs.IT); Optimization and Control (math.OC)
- [506] arXiv:1501.03686 [pdf, other]
-
Title: Packing Plane Perfect Matchings into a Point SetSubjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)
- [507] arXiv:1501.03691 [pdf, ps, other]
-
Title: Integral D-Finite FunctionsJournal-ref: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC 2015), pages 251-258, 2015. ACM, New York, USA, ISBN 978-1-4503-3435-8Subjects: Symbolic Computation (cs.SC); Rings and Algebras (math.RA)
- [508] arXiv:1501.03704 [pdf, other]
-
Title: Does $\ell_p$-minimization outperform $\ell_1$-minimization?Subjects: Information Theory (cs.IT); Statistics Theory (math.ST)
- [509] arXiv:1501.03711 [pdf, other]
-
Title: A Stochastic Approach for Resource Allocation with Backhaul and Energy Harvesting ConstraintsSubjects: Information Theory (cs.IT)
- [510] arXiv:1501.03715 [pdf, ps, other]
-
Title: Blind identification of an unknown interleaved convolutional codeAuthors: Audrey TixierSubjects: Information Theory (cs.IT)
- [511] arXiv:1501.03719 [pdf, other]
-
Title: LATCH: Learned Arrangements of Three Patch CodesSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [512] arXiv:1501.03724 [pdf, other]
-
Title: A faster algorithm for the discrete Fréchet distance under translationSubjects: Computational Geometry (cs.CG)
- [513] arXiv:1501.03726 [pdf, ps, other]
-
Title: Privacy and Data Protection by Design - from policy to engineeringAuthors: George Danezis, Josep Domingo-Ferrer, Marit Hansen, Jaap-Henk Hoepman, Daniel Le Metayer, Rodica Tirtea, Stefan SchiffnerComments: 79 pages in European Union Agency for Network and Information Security (ENISA) report, December 2014, ISBN 978-92-9204-108-3Subjects: Cryptography and Security (cs.CR)
- [514] arXiv:1501.03736 [pdf, other]
-
Title: A Polynomial-Time Attack on the BBCRS SchemeComments: Accepted to the conference Public Key Cryptography (PKC) 2015Subjects: Cryptography and Security (cs.CR); Information Theory (cs.IT)
- [515] arXiv:1501.03755 [pdf, other]
-
Title: Screen Content Image Segmentation Using Least Absolute Deviation FittingComments: 5 pagesSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [516] arXiv:1501.03757 [pdf, ps, other]
-
Title: An Approach for Self-Adaptive Path Loss Modeling for Accurate Positioning in Underground EnvironmentsComments: 9 pages, 9 figuresJournal-ref: International Journal of Antennas and Propagation (2016) 1-8Subjects: Networking and Internet Architecture (cs.NI)
- [517] arXiv:1501.03771 [pdf, ps, other]
-
Title: Submodular relaxation for inference in Markov random fieldsComments: This paper is accepted for publication in IEEE Transactions on Pattern Analysis and Machine IntelligenceSubjects: Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [518] arXiv:1501.03779 [pdf, ps, other]
-
Title: Computer-assisted polyp matching between optical colonoscopy and CT colonography: a phantom studyAuthors: Holger R. Roth, Thomas E. Hampshire, Emma Helbren, Mingxing Hu, Roser Vega, Steve Halligan, David J. HawkesComments: This paper was presented at the SPIE Medical Imaging 2014 conferenceJournal-ref: Proc. SPIE 9036, Medical Imaging 2014: Image-Guided Procedures, Robotic Interventions, and Modeling, 903609 (March 12, 2014)Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [519] arXiv:1501.03784 [pdf, other]
-
Title: Holographic Graph Neuron: a Bio-Inspired Architecture for Pattern ProcessingComments: 9 pages, 13 figuresJournal-ref: IEEE Transactions on Neural Networks and Learning Systems 28 (2017) 1250 - 1262Subjects: Artificial Intelligence (cs.AI)
- [520] arXiv:1501.03786 [pdf, ps, other]
-
Title: Multi-view learning for multivariate performance measures optimizationAuthors: Jim Jing-Yan WangSubjects: Machine Learning (cs.LG)
- [521] arXiv:1501.03796 [pdf, ps, other]
-
Title: The Fast Convergence of Incremental PCAComments: NIPS 2013Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
- [522] arXiv:1501.03810 [pdf, ps, other]
-
Title: Time-Varying Input and State Delay Compensation for Uncertain Nonlinear SystemsSubjects: Systems and Control (eess.SY)
- [523] arXiv:1501.03834 [pdf, ps, other]
-
Title: Development of a multifactor authentication result checker system through GSMComments: 4 figuresSubjects: Computers and Society (cs.CY)
- [524] arXiv:1501.03837 [pdf, other]
-
Title: On the Complexity of Slide-and-Merge GamesSubjects: Computational Complexity (cs.CC)
- [525] arXiv:1501.03838 [pdf, other]
-
Title: PAC-Bayes with Minimax for Confidence-Rated TransductionSubjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
- [526] arXiv:1501.03839 [pdf, other]
-
Title: Yet Another Way of Building Exact Polyhedral Model for Weakly Dynamic Affine ProgramsAuthors: Arkady KlimovComments: 8 pages, 11 figures, was submitted to IMPACT-2015 (however was not accepted)Subjects: Programming Languages (cs.PL)
- [527] arXiv:1501.03849 [pdf, other]
-
Title: Nested Antichains for WS1SComments: Accepted to TACAS'15Subjects: Logic in Computer Science (cs.LO)
- [528] arXiv:1501.03868 [pdf, other]
-
Title: Generalizing Multi-party Contract SigningComments: Extended version of POST 2015 paperSubjects: Cryptography and Security (cs.CR)
- [529] arXiv:1501.03872 [pdf, ps, other]
-
Title: The Dead Cryptographers Society ProblemAuthors: André Luiz BarbosaComments: 7 pages, 2 tables, 1 JavaScript code and some great new ideas on Cryptography!Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
- [530] arXiv:1501.03879 [pdf, other]
-
Title: A new ADMM algorithm for the Euclidean median and its application to robust patch regressionComments: 5 pages, 3 figures, 1 table. To appear in Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing, April 19-24, 2015Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [531] arXiv:1501.03895 [pdf, ps, other]
-
Title: Root-Weighted Tree Automata and their Applications to Tree KernelsSubjects: Formal Languages and Automata Theory (cs.FL)
- [532] arXiv:1501.03924 [pdf, ps, other]
-
Title: On cyclic codes over $\mathbb{Z}_q+u\mathbb{Z}_q$Comments: 11. arXiv admin note: text overlap with arXiv:1309.1623Subjects: Information Theory (cs.IT)
- [533] arXiv:1501.03931 [pdf, ps, other]
-
Title: On Symbolic Ultrametrics, Cotree Representations, and Cograph Edge Decompositions and PartitionsSubjects: Discrete Mathematics (cs.DM)
- [534] arXiv:1501.03933 [pdf, ps, other]
-
Title: RDF Validation Requirements - Evaluation and Logical UnderpinningComments: arXiv admin note: text overlap with arXiv:1504.04479Subjects: Logic in Computer Science (cs.LO)
- [535] arXiv:1501.03935 [pdf, other]
-
Title: Sequence-based Detection of Sleeping Cell Failures in Mobile NetworksComments: 26 pagesSubjects: Networking and Internet Architecture (cs.NI); Databases (cs.DB)
- [536] arXiv:1501.03952 [pdf, other]
-
Title: Mind the Gap: Subspace based Hierarchical Domain AdaptationComments: 4 pages in Second Workshop on Transfer and Multi-Task Learning: Theory meets Practice in NIPS 2014Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [537] arXiv:1501.03959 [pdf, other]
-
Title: Value Iteration with Options and State AggregationSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [538] arXiv:1501.03969 [pdf, other]
-
Title: Nonlinear Model Predictive Control of A Gasoline HCCI Engine Using Extreme Learning MachinesComments: This paper was written as an extract from my PhD thesis (July 2013) and so references may not be to date as of this submission (Jan 2015). The article is in review and contains 10 figures, 35 referencesSubjects: Systems and Control (eess.SY); Neural and Evolutionary Computing (cs.NE)
- [539] arXiv:1501.03975 [pdf, other]
-
Title: Stochastic Gradient Based Extreme Learning Machines For Online Learning of Advanced Combustion EnginesComments: This paper was written as an extract from my PhD thesis (July 2013) and so references may not be to date as of this submission (Jan 2015). The article is in review and contains 10 figures, 35 referencesSubjects: Neural and Evolutionary Computing (cs.NE); Machine Learning (cs.LG); Systems and Control (eess.SY)
- [540] arXiv:1501.03982 [pdf, other]
-
Title: Exploring Green Interference Power for Wireless Information and Energy Transfer in the MISO DownlinkComments: 5 pages, ICC 2015Subjects: Information Theory (cs.IT)
- [541] arXiv:1501.03983 [pdf, other]
-
Title: The Storage-Repair-Bandwidth Trade-off of Exact Repair Linear Regenerating Codes for the Case $d = k = n-1$Comments: Corrected typos, minor editing for better readabilitySubjects: Information Theory (cs.IT)
- [542] arXiv:1501.03988 [pdf, ps, other]
-
Title: A One-Dimensional Physically Universal Cellular AutomatonComments: 17 pages, 6 figures. Corrected an error in a figureSubjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS)
- [543] arXiv:1501.03992 [pdf, ps, other]
-
Title: PSPACE-Completeness of Majority Automata NetworksComments: 14 pages, 8 figuresSubjects: Discrete Mathematics (cs.DM)
- [544] arXiv:1501.03994 [pdf, ps, other]
-
Title: Numerical modelling of sandstone uniaxial compression test using a mix-mode cohesive fracture modelSubjects: Computational Engineering, Finance, and Science (cs.CE); Geophysics (physics.geo-ph)
- [545] arXiv:1501.03996 [pdf, other]
-
Title: Capacity of electron-based communication over bacterial cables: the full-CSI caseComments: submitted to IEEE Journal on Selected Areas in CommunicationsSubjects: Information Theory (cs.IT)
- [546] arXiv:1501.04000 [pdf, ps, other]
-
Title: Large deformation and post-failure simulations of segmental retaining walls using mesh-free method (SPH)Subjects: Computational Engineering, Finance, and Science (cs.CE)
- [547] arXiv:1501.04001 [pdf, other]
-
Title: Efficient Algorithms for the Order Preserving Pattern Matching ProblemComments: 16 pages, 3 figures, submitted to SEA 2015 conferenceSubjects: Data Structures and Algorithms (cs.DS)
- [548] arXiv:1501.04002 [pdf, other]
-
Title: Size-optimal Steiner points for Delaunay-refinement on curved surfacesComments: Submitted to Computer-Aided Design (23rd International Meshing Roundtable special issue). A short version appears in the proceedings of the 23rd International Meshing Roundtable. (v2 - revisions to description of point-placement scheme, figures.) (v3 - updated to final pre-print version.)Subjects: Computational Geometry (cs.CG); Numerical Analysis (math.NA)
- [549] arXiv:1501.04006 [pdf, ps, other]
-
Title: Seismic Earth Pressure Development in Sheet Pile Retaining Walls: A Numerical StudySubjects: Computational Engineering, Finance, and Science (cs.CE); Geophysics (physics.geo-ph)
- [550] arXiv:1501.04009 [pdf, ps, other]
-
Title: Visual Analytics of Image-Centric Cohort Studies in EpidemiologyAuthors: Bernhard Preim, Paul Klemm, Helwig Hauser, Katrin Hegenscheid, Steffen Oeltze, Klaus Toennies, Henry VölzkeSubjects: Computer Vision and Pattern Recognition (cs.CV); Computers and Society (cs.CY)
- [551] arXiv:1501.04010 [pdf, other]
-
Title: Coevolutionary intransitivity in games: A landscape analysisAuthors: Hendrik RichterJournal-ref: In: Applications of Evolutionary Computation - EvoApplications 2015, (Eds.: A. M. Mora, G. Squillero), Lecture Notes in Computer Science, Vol. 9028, Springer-Verlag, Berlin, 2015, 869-881Subjects: Neural and Evolutionary Computing (cs.NE); Populations and Evolution (q-bio.PE)
- [552] arXiv:1501.04036 [pdf, ps, other]
-
Title: An Improvement of the Cipolla-Lehmer Type AlgorithmsSubjects: Cryptography and Security (cs.CR)
- [553] arXiv:1501.04038 [pdf, other]
-
Title: A Backend Framework for the Efficient Management of Power System MeasurementsAuthors: Ben McCamish, Rich Meier, Jordan Landford, Robert Bass, Eduardo Cotilla-Sanchez, David ChiuComments: Published in Electric Power Systems Research (2016), not available yetSubjects: Databases (cs.DB); Physics and Society (physics.soc-ph)
- [554] arXiv:1501.04041 [pdf, other]
-
Title: Designing Low Cost and Energy Efficient Access Network for the Developing WorldSubjects: Networking and Internet Architecture (cs.NI)
- [555] arXiv:1501.04044 [pdf, other]
-
Title: Phase Identification in Distribution Networks with Micro-SynchrophasorsComments: 5 Pages, PESGM2015, Denver, COSubjects: Systems and Control (eess.SY); General Topology (math.GN); Data Analysis, Statistics and Probability (physics.data-an)
- [556] arXiv:1501.04053 [pdf, other]
-
Title: Stochastic Local Interaction (SLI) Model: Interfacing Machine Learning and GeostatisticsAuthors: Dionissios T. HristopulosComments: 31 pages, 7 figuresSubjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
- [557] arXiv:1501.04056 [pdf, other]
-
Title: NLP Solutions as Asymptotic Values of ODE TrajectoriesAuthors: Mazen AlamirSubjects: Systems and Control (eess.SY)
- [558] arXiv:1501.04058 [pdf, ps, other]
-
Title: Power Control and Soft Topology Adaptations in Multihop Cellular Networks with Multi-Point ConnectivityComments: 14 pages, 12 figures, To appear in IEEE Transactions on Communications 2015, Index Terms: Resource allocation, hetereogenous networks, coordinated multipoint transmission, dual connectivityJournal-ref: IEEE Transactions on Communications, Vol. 63, No. 3, PP. 683-694, March 2015Subjects: Information Theory (cs.IT)
- [559] arXiv:1501.04100 [pdf, other]
-
Title: Spatial InterpolantsComments: Short version published in ESOP 2015Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)
- [560] arXiv:1501.04132 [pdf, other]
-
Title: IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version)Comments: Extended version of POST'15 paper; 31 pagesSubjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)
- [561] arXiv:1501.04138 [pdf, other]
-
Title: Ricci Curvature of the Internet TopologyComments: 9 pages, 16 figures. To be appear on INFOCOM 2015Subjects: Social and Information Networks (cs.SI); Computational Geometry (cs.CG); Networking and Internet Architecture (cs.NI); Physics and Society (physics.soc-ph)
- [562] arXiv:1501.04140 [pdf, ps, other]
-
Title: A Fast Fractal Image Compression Algorithm Using Predefined Values for Contrast ScalingComments: 5 pagesSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [563] arXiv:1501.04143 [pdf, ps, other]
-
Title: Communication and games in the online foreign language educational system. User behavior studySubjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)
- [564] arXiv:1501.04147 [pdf, other]
-
Title: Categorified Reeb GraphsSubjects: Computational Geometry (cs.CG)
- [565] arXiv:1501.04152 [pdf, ps, other]
-
Title: Efficient Sensor Fault Detection Using Group TestingSubjects: Systems and Control (eess.SY)
- [566] arXiv:1501.04155 [pdf, ps, other]
-
Title: Real Time Collaborative Platform for Learning and Teaching Foreign LanguagesSubjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)
- [567] arXiv:1501.04156 [pdf, ps, other]
-
Title: User involvement in the partner program of the educational social networkSubjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)
- [568] arXiv:1501.04157 [pdf, ps, other]
-
Title: Monetization as a Motivator for the Freemium Educational Platform GrowthSubjects: Computers and Society (cs.CY); Human-Computer Interaction (cs.HC)
- [569] arXiv:1501.04158 [pdf, other]
-
Title: On the Performance of ConvNet Features for Place RecognitionSubjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV)
- [570] arXiv:1501.04163 [pdf, other]
-
Title: Meaningful Objects Segmentation from SAR Images via A Multi-Scale Non-Local Active Contour ModelJournal-ref: IEEE Trans. Geoscience and Remote Sensing, Vol. 54, No.3, pp.1860 - 1873, 2016Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [571] arXiv:1501.04167 [pdf, other]
-
Title: An optical image encryption scheme based on depth-conversion integral imaging and chaotic mapsComments: 18 pages, 12 figuresSubjects: Cryptography and Security (cs.CR)
- [572] arXiv:1501.04177 [pdf, other]
-
Title: Second International Nurse Rostering Competition (INRC-II) --- Problem Description and Rules ---Authors: Sara Ceschia, Nguyen Thi Thanh Dang, Patrick De Causmaecker, Stefaan Haspeslagh, Andrea SchaerfSubjects: Artificial Intelligence (cs.AI)
- [573] arXiv:1501.04183 [pdf, ps, other]
-
Title: Holographic Transformation, Belief Propagation and Loop Calculus for Generalized Probabilistic TheoriesAuthors: Ryuhei MoriComments: 6 pages, to appear in ISIT 2015Subjects: Information Theory (cs.IT); Statistical Mechanics (cond-mat.stat-mech); Quantum Physics (quant-ph)
- [574] arXiv:1501.04186 [pdf, other]
-
Title: New Directions in Anonymization: Permutation Paradigm, Verifiability by Subjects and Intruders, Transparency to UsersComments: 27 pages, 3 figuresSubjects: Databases (cs.DB); Cryptography and Security (cs.CR)
- [575] arXiv:1501.04192 [pdf, ps, other]
-
Title: Design of a Transport Triggered Architecture Processor for Flexible Iterative Turbo DecoderComments: 6 pages, 4 figures, conferenceSubjects: Hardware Architecture (cs.AR)
- [576] arXiv:1501.04199 [pdf, other]
-
Title: Distributed Resource Allocation in D2D-Enabled Multi-tier Cellular Networks: An Auction ApproachComments: A part of this work appeared in proceedings of IEEE ICC 2015 - Mobile and Wireless Networking SymposiumSubjects: Networking and Internet Architecture (cs.NI); Computer Science and Game Theory (cs.GT)
- [577] arXiv:1501.04200 [pdf, other]
-
Title: Analysis of Massive MIMO With Hardware Impairments and Different Channel ModelsComments: 5 pages, 5 figuresSubjects: Information Theory (cs.IT)
- [578] arXiv:1501.04204 [pdf, other]
-
Title: Retrospective Interference Alignment for the MIMO Interference Broadcast ChannelComments: 1 copyright page + 5 paper pages + 3 appendix pages, Submitted to IEEE ISIT 2015Subjects: Information Theory (cs.IT)
- [579] arXiv:1501.04223 [pdf, other]
-
Title: Optimal Signaling of MISO Full-Duplex Two-Way Wireless ChannelComments: To appear in IEEE ICC 2015, London, UKSubjects: Information Theory (cs.IT)
- [580] arXiv:1501.04228 [pdf, ps, other]
-
Title: Improved IIR Low-Pass Smoothers and Differentiators with Tunable DelayAuthors: Hugh L. KennedyComments: To appear in Proc. International Conference on Digital Image Computing: Techniques and Applications (DICTA), Adelaide, 23rd-25th Nov. 2015Subjects: Information Theory (cs.IT)
- [581] arXiv:1501.04232 [pdf, other]
-
Title: Maximum Entropy Models of Shortest Path and Outbreak Distributions in NetworksSubjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [582] arXiv:1501.04242 [pdf, ps, other]
-
Title: The Information-theoretic and Algorithmic Approach to Human, Animal and Artificial CognitionComments: 22 pages. Forthcoming in Gordana Dodig-Crnkovic and Raffaela Giovagnoli (eds). Representation and Reality: Humans, Animals and Machines, Springer VerlagSubjects: Artificial Intelligence (cs.AI)
- [583] arXiv:1501.04244 [pdf, other]
-
Title: Generalised Random Forest Space OverviewAuthors: Miron B. KursaSubjects: Machine Learning (cs.LG)
- [584] arXiv:1501.04245 [pdf, other]
-
Title: Complexity of Problems of Commutative GrammarsAuthors: Eryk Kopczynski (University of Warsaw)Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 1 (March 25, 2015) lmcs:875Subjects: Formal Languages and Automata Theory (cs.FL)
- [585] arXiv:1501.04254 [pdf, ps, other]
-
Title: Service Provisioning and Profit Maximization in Network-assisted Adaptive HTTP StreamingComments: ICIP 2015 submissionSubjects: Networking and Internet Architecture (cs.NI); Multimedia (cs.MM)
- [586] arXiv:1501.04260 [pdf, ps, other]
-
Title: Disease spread over randomly switched large-scale networksSubjects: Systems and Control (eess.SY); Social and Information Networks (cs.SI); Populations and Evolution (q-bio.PE)
- [587] arXiv:1501.04262 [pdf, other]
-
Title: Lower Bounds in the Preprocessing and Query Phases of Routing AlgorithmsAuthors: Colin WhiteSubjects: Data Structures and Algorithms (cs.DS)
- [588] arXiv:1501.04263 [pdf, ps, other]
-
Title: On the Dirty Paper Channel with Fast Fading DirtSubjects: Information Theory (cs.IT)
- [589] arXiv:1501.04264 [pdf, other]
-
Title: Achieving Arbitrary Locality and Availability in Binary CodesComments: 5 pagesSubjects: Information Theory (cs.IT)
- [590] arXiv:1501.04265 [pdf, ps, other]
-
Title: Evolutionary Stable Strategies in Games with Fuzzy PayoffsAuthors: Haozhen SituJournal-ref: Artificial Intelligence Evolution, 1(2): 63-71 (2020)Subjects: Computer Science and Game Theory (cs.GT)
- [591] arXiv:1501.04267 [pdf, ps, other]
-
Title: Comment on "Clustering by fast search and find of density peaks"Subjects: Machine Learning (cs.LG)
- [592] arXiv:1501.04272 [pdf, ps, other]
-
Title: Some Gabidulin Codes cannot be List Decoded Efficiently at any RadiusSubjects: Information Theory (cs.IT)
- [593] arXiv:1501.04276 [pdf, other]
-
Title: Correlation Adaptive Subspace Segmentation by Trace LassoComments: International Conference on Computer Vision (ICCV), 2013Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [594] arXiv:1501.04277 [pdf, other]
-
Title: Correntropy Induced L2 Graph for Robust Subspace ClusteringComments: International Conference on Computer Vision (ICCV), 2013Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [595] arXiv:1501.04281 [pdf, other]
-
Title: Grouping Entities in a Fleet by Community Detection in Network of Regression ModelsComments: 8 pages, 4 figuresSubjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [596] arXiv:1501.04282 [pdf, ps, other]
-
Title: Regularized maximum correntropy machineSubjects: Machine Learning (cs.LG)
- [597] arXiv:1501.04284 [pdf, ps, other]
-
Title: Pairwise Constraint Propagation on Multi-View DataSubjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
- [598] arXiv:1501.04292 [pdf, ps, other]
-
Title: Image classification by visual bag-of-words refinement and reductionJournal-ref: Neurocomputing 173: 373-384 (2016)Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [599] arXiv:1501.04298 [pdf, ps, other]
-
Title: A Hybrid Approach to Web Service Recommendation Based on QoS-Aware Rating and RankingComments: 23 pages, 9 figures, and 2 tablesSubjects: Information Retrieval (cs.IR); Software Engineering (cs.SE)
- [600] arXiv:1501.04301 [pdf, other]
-
Title: WiGest: A Ubiquitous WiFi-based Gesture Recognition SystemComments: Accepted for publication in INFOCOM 2015Subjects: Human-Computer Interaction (cs.HC)
- [601] arXiv:1501.04309 [pdf, ps, other]
-
Title: Information Theory and its Relation to Machine LearningAuthors: Bao-Gang HuComments: 10 pages, 6 figures, 1 tableSubjects: Information Theory (cs.IT); Machine Learning (cs.LG)
- [602] arXiv:1501.04310 [pdf, ps, other]
-
Title: On Channel Estimation for 802.11p in Highly Time-Varying Vehicular ChannelsComments: 6 pages, 11 figures, conferenceJournal-ref: IEEE International Conference on Communications (ICC), 10-14 June 2014, pp.5659--5664Subjects: Information Theory (cs.IT)
- [603] arXiv:1501.04312 [pdf, ps, other]
-
Title: On the Degrees of Freedom for Opportunistic Interference Alignment with 1-Bit Feedback: The 3 Cell CaseSubjects: Information Theory (cs.IT)
- [604] arXiv:1501.04317 [pdf, other]
-
Title: Semi-Active Control of the Sway Dynamics for Elevator RopesAuthors: Mouhacine BenosmanSubjects: Systems and Control (eess.SY)
- [605] arXiv:1501.04318 [pdf, other]
-
Title: Clustering based on the In-tree Graph Structure and Affinity PropagationSubjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)
- [606] arXiv:1501.04324 [pdf, ps, other]
-
Title: Phrase Based Language Model For Statistical Machine TranslationComments: 5 pages. This version of the paper was submitted for review to EMNLP 2013. The title, the idea and the content of this paper was presented by the first author in the machine translation group meeting at the MSRA-NLC lab (Microsoft Research Asia, Natural Language Computing) on July 16, 2013Subjects: Computation and Language (cs.CL)
- [607] arXiv:1501.04325 [pdf, other]
-
Title: Deep Belief Nets for Topic ModelingComments: Accepted to the ICML-2014 Workshop on Knowledge-Powered Deep Learning for Text MiningSubjects: Computation and Language (cs.CL); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [608] arXiv:1501.04328 [pdf, other]
-
Title: Exploiting Network Awareness to Enhance DASH Over WirelessSubjects: Networking and Internet Architecture (cs.NI)
- [609] arXiv:1501.04330 [pdf, ps, other]
-
Title: A High-Gain Nonlinear Observer with Limited Gain PowerComments: 6 pages, 2 figuresJournal-ref: IEEE Transactions on Automatic Control, Volume: 60, Issue: 11, Page(s): 3059 - 3064, Nov. 2015Subjects: Systems and Control (eess.SY)
- [610] arXiv:1501.04343 [pdf, other]
-
Title: Algorithms for Scheduling Malleable Cloud TasksComments: The conference version of this manuscript appeared at the 53rd Annual Allerton Conference on Communication, Control, and Computing, 2015Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
- [611] arXiv:1501.04344 [pdf, ps, other]
-
Title: Asymptotic bounds of depth for a reversible circuit consisting of NOT, CNOT and 2-CNOT gatesAuthors: Dmitry V. ZakablukovComments: In Russian, 14 pages, 4 figuresSubjects: Emerging Technologies (cs.ET)
- [612] arXiv:1501.04348 [pdf, other]
-
Title: The cost of attack in competing networksAuthors: Boris Podobnik, Davor Horvatic, Tomislav Lipic, Matjaz Perc, Javier M. Buldu, H. Eugene StanleyComments: 8 two-column pages, 6 figures, supplementary material; accepted for publication in Journal of the Royal Society InterfaceJournal-ref: J. R. Soc. Interface 12 (2015) 20150770Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [613] arXiv:1501.04354 [pdf, ps, other]
-
Title: Coinduction: an elementary approachAuthors: Łukasz CzajkaComments: Parts of this paper appear in arXiv:1808.05481Subjects: Logic in Computer Science (cs.LO)
- [614] arXiv:1501.04358 [pdf, other]
-
Title: Does Learning Imply a Decrease in the Entropy of Behavior?Authors: Paul E. SmaldinoComments: 14 pages, 7 figures, 1 tableSubjects: Robotics (cs.RO); Artificial Intelligence (cs.AI)
- [615] arXiv:1501.04359 [pdf, other]
-
Title: Realization and Extension of Abstract Operation Contracts for Program LogicAuthors: Maria PelevinaSubjects: Software Engineering (cs.SE)
- [616] arXiv:1501.04367 [pdf, other]
-
Title: Reconstruction-free action inference from compressive imagersSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [617] arXiv:1501.04370 [pdf, other]
-
Title: Structure Learning in Bayesian Networks of Moderate Size by Efficient SamplingComments: 51 pagesSubjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Machine Learning (stat.ML)
- [618] arXiv:1501.04376 [pdf, ps, other]
-
Title: Optimal Power Allocation for Secure Communications in Large-Scale MIMO Relaying SystemsComments: 6 pages, 6 figures, ICC 2015Subjects: Information Theory (cs.IT)
- [619] arXiv:1501.04378 [pdf, other]
-
Title: Instance Significance Guided Multiple Instance Boosting for Robust Visual TrackingSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [620] arXiv:1501.04388 [pdf, other]
-
Title: Chromatic and flow polynomials of generalized vertex join graphs and outerplanar graphsComments: 14 pagesSubjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
- [621] arXiv:1501.04394 [pdf, ps, other]
-
Title: Band Splitting Permutations for Spatially Coupled LDPC Codes Enhancing Burst Erasure ImmunityComments: 5 pages, submitted to ISIT 2015Subjects: Information Theory (cs.IT)
- [622] arXiv:1501.04395 [pdf, other]
-
Title: Spherical Harmonic Expansion of Fisher-Bingham Distribution and 3D Spatial Fading Correlation for Multiple-Antenna SystemsComments: 9 pages, 8 figures, IEEE Transactions on Vehicular Technology SubmissionSubjects: Information Theory (cs.IT)
- [623] arXiv:1501.04402 [pdf, ps, other]
-
Title: Subgraph Domatic Problem and Writing Capacity of Memory Devises with Restricted State TransitionsComments: 7 pagesSubjects: Information Theory (cs.IT)
- [624] arXiv:1501.04412 [pdf, ps, other]
-
Title: Power Allocation Games on Interference Channels with Complete and Partial InformationComments: arXiv admin note: text overlap with arXiv:1409.7551Subjects: Information Theory (cs.IT)
- [625] arXiv:1501.04431 [pdf, ps, other]
-
Title: Field-normalized citation impact indicators and the choice of an appropriate counting methodSubjects: Digital Libraries (cs.DL)
- [626] arXiv:1501.04434 [pdf, other]
-
Title: "`They brought in the horrible key ring thing!" Analysing the Usability of Two-Factor Authentication in UK Online BankingComments: To appear in NDSS Workshop on Usable Security (USEC 2015)Subjects: Cryptography and Security (cs.CR); Human-Computer Interaction (cs.HC)
- [627] arXiv:1501.04451 [pdf, other]
-
Title: Bayesian Hypothesis Test using Nonparametric Belief Propagation for Noisy Sparse RecoveryComments: 14 page, 11 figures, Digitally Published in IEEE Transaction on Signal Processing at Dec. 2014; IEEE Trans. Signal Process., Dec. 2014Subjects: Information Theory (cs.IT)
- [628] arXiv:1501.04457 [pdf, ps, other]
-
Title: Mechanism Design with Strategic MediatorsComments: 46 pages, 1 figure, an extended abstract of this work appeared in ITCS 2015Subjects: Computer Science and Game Theory (cs.GT)
- [629] arXiv:1501.04466 [pdf, other]
-
Title: Improving the use of equational constraints in cylindrical algebraic decompositionJournal-ref: Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation (ISSAC '15), pp. 165--172. ACM, 2015Subjects: Symbolic Computation (cs.SC)
- [630] arXiv:1501.04473 [pdf, ps, other]
-
Title: Seeking Black Lining In CloudSubjects: Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC)
- [631] arXiv:1501.04478 [pdf, other]
-
Title: Information Leakage of Heterogeneous Encoded Correlated Sequences over Eavesdropped ChannelComments: arXiv admin note: substantial text overlap with arXiv:1410.8805Subjects: Information Theory (cs.IT)
- [632] arXiv:1501.04490 [pdf, other]
-
Title: On The Capacity of Broadcast Channels With Degraded Message Sets and Message Cognition Under Different Secrecy ConstraintsSubjects: Information Theory (cs.IT)
- [633] arXiv:1501.04495 [pdf, other]
-
Title: N2SID: Nuclear Norm Subspace IdentificationSubjects: Systems and Control (eess.SY)
- [634] arXiv:1501.04504 [pdf, other]
-
Title: TARDIS: Timestamp based Coherence Algorithm for Distributed Shared MemoryComments: 16 pagesSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [635] arXiv:1501.04505 [pdf, other]
-
Title: Robust Visual Tracking via Convolutional NetworksSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [636] arXiv:1501.04509 [pdf, ps, other]
-
Title: Responding to Retrieval: A Proposal to Use Retrieval Information for Better Presentation of Website ContentJournal-ref: Current Trends in Web Engineering. ICWE 2015. Lecture Notes in Computer Science, PP. 103--114, vol 9396. Springer, ChamSubjects: Information Retrieval (cs.IR)
- [637] arXiv:1501.04511 [pdf, ps, other]
-
Title: Fragments of ML Decidable by Nested Data Class Memory AutomataSubjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
- [638] arXiv:1501.04527 [pdf, other]
-
Title: Social Networking by Proxy: A Case Study of Catster, Dogster and HamstersterComments: 11 pages; small correctionsSubjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [639] arXiv:1501.04537 [pdf, other]
-
Title: Coupled Depth LearningComments: 10 pages, 3 Figures, 4 Tables with quantitative evaluationsSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [640] arXiv:1501.04538 [pdf, ps, other]
-
Title: Mathematical Programs for Belief Propagation and ConsensusAuthors: Kwang-Ki K. KimComments: 25 pages, 2 figures, technical reportSubjects: Systems and Control (eess.SY)
- [641] arXiv:1501.04552 [pdf, other]
-
Title: Solving the Klein-Gordon equation using Fourier spectral methods: A benchmark test for computer performanceAuthors: S. Aseeri, O. Batrašev, M. Icardi, B. Leu, A. Liu, N. Li, B.K. Muite, E. Müller, B. Palen, M. Quell, H. Servat, P. Sheth, R. Speck, M. Van Moer, J. VienneComments: 10 pagesSubjects: Performance (cs.PF); Distributed, Parallel, and Cluster Computing (cs.DC); Numerical Analysis (math.NA)
- [642] arXiv:1501.04553 [pdf, ps, other]
-
Title: A Heuristic EDF Uplink Scheduler for Real Time Application in WiMAX CommunicationSubjects: Networking and Internet Architecture (cs.NI)
- [643] arXiv:1501.04557 [pdf, other]
-
Title: Precision-Aware application execution for Energy-optimization in HPC node systemAuthors: Radim Vavřík, Antoni Portero, Štěpán Kuchař, Martin Golasowski, Simone Libutti, Giuseppe Massari, William Fornaciari, Vít VondrákComments: Presented at HIP3ES, 2015 (arXiv: 1501.03064)Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [644] arXiv:1501.04558 [pdf, other]
-
Title: From complexity to algebra and back: digraph classes, collapsibility and the PGPSubjects: Computational Complexity (cs.CC)
- [645] arXiv:1501.04560 [pdf, other]
-
Title: Transductive Multi-view Zero-Shot LearningComments: accepted by IEEE TPAMI, more info and longer report will be available in :this http URLSubjects: Computer Vision and Pattern Recognition (cs.CV); Data Structures and Algorithms (cs.DS); Multimedia (cs.MM)
- [646] arXiv:1501.04564 [pdf, ps, other]
-
Title: Analyzing the Impact of Inter Cooperation Region Interference in Coordinated Multi-Point Uplink NetworksComments: Accepted in IEEE Trans. on Communications (TCOM), Jan. 2015Subjects: Information Theory (cs.IT)
- [647] arXiv:1501.04572 [pdf, other]
-
Title: k variables are needed to define k-Clique in first-order logicAuthors: Yuguo HeComments: 148 pages, 15 figuresSubjects: Logic in Computer Science (cs.LO)
- [648] arXiv:1501.04579 [pdf, other]
-
Title: Stability of Influence MaximizationComments: Erratum of Paper "Stability of Influence Maximization" which was presented and published in the KDD14Subjects: Social and Information Networks (cs.SI)
- [649] arXiv:1501.04587 [pdf, other]
-
Title: Transferring Rich Feature Hierarchies for Robust Visual TrackingSubjects: Computer Vision and Pattern Recognition (cs.CV); Neural and Evolutionary Computing (cs.NE)
- [650] arXiv:1501.04659 [pdf, ps, other]
-
Title: On the impact of topological properties of smart grids in power losses optimization problemsComments: 35 pages, 38 referencesSubjects: Computational Engineering, Finance, and Science (cs.CE); Neural and Evolutionary Computing (cs.NE)
- [651] arXiv:1501.04668 [pdf, ps, other]
-
Title: A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric TermsComments: 8 pages, ISSAC 2015 submissionSubjects: Symbolic Computation (cs.SC); Rings and Algebras (math.RA)
- [652] arXiv:1501.04675 [pdf, other]
- [653] arXiv:1501.04684 [pdf, other]
-
Title: Slice Sampling for Probabilistic ProgrammingComments: 11 pagesSubjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)
- [654] arXiv:1501.04686 [pdf, ps, other]
-
Title: Deep Convolutional Neural Networks for Action Recognition Using Depth Map SequencesSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [655] arXiv:1501.04690 [pdf, other]
-
Title: Naive-Deep Face Recognition: Touching the Limit of LFW Benchmark or Not?Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [656] arXiv:1501.04691 [pdf, ps, other]
-
Title: Tracing the boundaries of materials in transparent vessels using computer visionAuthors: Sagi EppelComments: Code and documentation for the method described is freely available at: this http URLSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [657] arXiv:1501.04692 [pdf, ps, other]
-
Title: Reflective Network Tomography Based on Compressed SensingSubjects: Networking and Internet Architecture (cs.NI)
- [658] arXiv:1501.04703 [pdf, other]
-
Title: Graph-based Framework for Flexible Baseband Function Splitting and Placement in C-RANComments: 6 Pages, 6 Figures, Accepted by ICC'15Subjects: Information Theory (cs.IT); Networking and Internet Architecture (cs.NI)
- [659] arXiv:1501.04704 [pdf, ps, other]
-
Title: Extracting a shape function for a signal with intra-wave frequency modulationSubjects: Information Theory (cs.IT)
- [660] arXiv:1501.04705 [pdf, other]
-
Title: Symbol-Decision Successive Cancellation List Decoder for Polar CodesComments: 13 pages, 17 figuresSubjects: Information Theory (cs.IT)
- [661] arXiv:1501.04706 [pdf, ps, other]
-
Title: A Novel Implementation of QuickHull Algorithm on the GPUComments: 10 pages, 5 figuresJournal-ref: Heliyon, 2018. 4(1): p. e00512Subjects: Computational Geometry (cs.CG); Graphics (cs.GR)
- [662] arXiv:1501.04707 [pdf, ps, other]
-
Title: On the Uniqueness of Sparse Time-Frequency Representation of Multiscale DataSubjects: Information Theory (cs.IT)
- [663] arXiv:1501.04709 [pdf, ps, other]
-
Title: Identifying robust communities and multi-community nodes by combining top-down and bottom-up approaches to clusteringAuthors: Chris Gaiteri, Mingming Chen, Boleslaw Szymanski, Konstantin Kuzmin, Jierui Xie, Changkyu Lee, Timothy Blanche, Elias Chaibub Neto, Su-Chun Huang, Thomas Grabowski, Tara Madhyastha, Vitalina KomashkoJournal-ref: Scientific Reports 5, Article number: 16361 (2015)Subjects: Computational Engineering, Finance, and Science (cs.CE); Social and Information Networks (cs.SI); Biological Physics (physics.bio-ph); Molecular Networks (q-bio.MN)
- [664] arXiv:1501.04711 [pdf, other]
-
Title: DeepHash: Getting Regularization, Depth and Fine-Tuning RightSubjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR)
- [665] arXiv:1501.04717 [pdf, other]
-
Title: Robust Face Recognition by Constrained Part-based AlignmentSubjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)
- [666] arXiv:1501.04719 [pdf, other]
-
Title: Stability of Surface Contacts for Humanoid Robots: Closed-Form Formulae of the Contact Wrench Cone for Rectangular Support AreasComments: 14 pages, 4 figuresSubjects: Robotics (cs.RO)
- [667] arXiv:1501.04721 [pdf, other]
-
Title: Two-Stage Subspace Constrained Precoding in Massive MIMO Cellular SystemsComments: 13 pages, accepted by IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT)
- [668] arXiv:1501.04725 [pdf, other]
-
Title: Learning Invariants using Decision TreesComments: 15 pages, 2 figuresSubjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
- [669] arXiv:1501.04730 [pdf, other]
-
Title: Static Analysis of File-Processing Programs using File Format SpecificationsSubjects: Programming Languages (cs.PL)
- [670] arXiv:1501.04737 [pdf, ps, other]
-
Title: Personal Data: Thinking Inside the BoxAuthors: Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard MortierSubjects: Computers and Society (cs.CY)
- [671] arXiv:1501.04741 [pdf, other]
-
Title: Adjoint Lattice Boltzmann for Topology Optimization on multi-GPU architectureComments: 18 pages, 11 figures, 3 tables, preprintSubjects: Computational Engineering, Finance, and Science (cs.CE); Numerical Analysis (math.NA); Optimization and Control (math.OC)
- [672] arXiv:1501.04748 [pdf, ps, other]
-
Title: Branching Bisimilarity on Normed BPA Is EXPTIME-completeComments: We correct many typing errors, add several remarks and an interesting toy exampleSubjects: Logic in Computer Science (cs.LO)
- [673] arXiv:1501.04754 [pdf, ps, other]
-
Title: Distributed Data Association in Smart Camera Networks via Dual DecompositionComments: 30 pages, 11 figuresSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [674] arXiv:1501.04760 [pdf, other]
-
Title: An Alternate Construction of an Access-Optimal Regenerating Code with Optimal Sub-Packetization LevelComments: To appear in National Conference on Communications 2015Subjects: Information Theory (cs.IT)
- [675] arXiv:1501.04762 [pdf, ps, other]
-
Title: Computationally Efficient Sparse Bayesian Learning via Generalized Approximate Message PassingSubjects: Information Theory (cs.IT)
- [676] arXiv:1501.04764 [pdf, ps, other]
- [677] arXiv:1501.04775 [pdf, other]
-
Title: Interference Aligned Space-Time Transmission with Diversity for the $2 \times 2$ X-NetworkComments: Single Column, 32 pages, 4 figures; typos in the previous version fixedSubjects: Information Theory (cs.IT)
- [678] arXiv:1501.04777 [pdf, ps, other]
-
Title: Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable TransitionsComments: 13 pages,13 figures, and the second version of TACSubjects: Formal Languages and Automata Theory (cs.FL)
- [679] arXiv:1501.04782 [pdf, other]
-
Title: Constructing Binary Descriptors with a Stochastic Hill Climbing SearchSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [680] arXiv:1501.04784 [pdf, other]
-
Title: Global finite element matrix construction based on a CPU-GPU implementationSubjects: Numerical Analysis (math.NA); Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF); Analysis of PDEs (math.AP)
- [681] arXiv:1501.04786 [pdf, other]
-
Title: Consid{é}rant la d{é}pendance dans la th{é}orie des fonctions de croyanceAuthors: Mouna Chebbah (IRISA), Mouloud Kharoune (IRISA), Arnaud Martin (IRISA), Boutheina Ben YaghlaneComments: in FrenchJournal-ref: Revue des Nouvelles Technologies Informatiques (RNTI), 2014, Fouille de donn{\'e}es complexes, RNTI-E-27, pp.43-64Subjects: Artificial Intelligence (cs.AI)
- [682] arXiv:1501.04789 [pdf, other]
-
Title: Relational semantics of linear logic and higher-order model-checkingComments: 24 pages. SubmittedSubjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Logic (math.LO)
- [683] arXiv:1501.04792 [pdf, other]
-
Title: Designing a Belief Function-Based Accessibility Indicator to Improve Web Browsing for Disabled PeopleJournal-ref: Belief 2014, Sep 2014, Oxford, United Kingdom. Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science, Vol. 8764, pp.134 - 142, Belief Functions: Theory and ApplicationsSubjects: Human-Computer Interaction (cs.HC); Artificial Intelligence (cs.AI)
- [684] arXiv:1501.04795 [pdf, other]
-
Title: Belief Approach for Social NetworksAuthors: Salma Ben Dhaou (IRISA), Mouloud Kharoune (IRISA), Arnaud Martin (IRISA), Boutheina Ben YaghlaneJournal-ref: Belief 2014, Sep 2014, Oxford, United Kingdom. Lecture Notes in Artificial Intelligence, Lecture Notes in Computer Science, Vol. 8764, pp.115-123, Belief Functions: Theory and ApplicationsSubjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI)
- [685] arXiv:1501.04796 [pdf, ps, other]
-
Title: What do we learn about development from baby robots?Authors: Pierre-Yves Oudeyer (INRIA Bordeaux - Sud-Ouest)Subjects: Artificial Intelligence (cs.AI); Computers and Society (cs.CY)
- [686] arXiv:1501.04797 [pdf, other]
-
Title: Solving Shift Register Problems over Skew Polynomial Rings using Module MinimisationComments: 10 pages, submitted to WCC 2015Subjects: Information Theory (cs.IT)
- [687] arXiv:1501.04817 [pdf, ps, other]
-
Title: Support Recovery with Orthogonal Matching Pursuit in the Presence of Noise: A New AnalysisAuthors: Jian WangComments: 13 pagesSubjects: Information Theory (cs.IT)
- [688] arXiv:1501.04822 [pdf, ps, other]
-
Title: Self-Stabilizing Repeated Balls-into-BinsSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [689] arXiv:1501.04826 [pdf, other]
-
Title: Relative Entailment Among Probabilistic ImplicationsJournal-ref: Logical Methods in Computer Science, Volume 15, Issue 1 (February 6, 2019) lmcs:3791Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB); Machine Learning (cs.LG)
- [690] arXiv:1501.04832 [pdf, ps, other]
-
Title: Big Data: How Geo-information Helped Shape the Future of Data EngineeringAuthors: Robert JeansoulinComments: Conference "AutoCarto 6", revisited 30 years later in a "Retrospective book", edited by Barry Wellar, the same chair as the original conference. 12 pages, 6 figures. see: AutoCarto Six Retrospective, 2013. ISBN: 978-0-9921435-0-3, pages 190-201Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI)
- [691] arXiv:1501.04835 [pdf, ps, other]
-
Title: Regularity Preserving but not Reflecting EncodingsSubjects: Formal Languages and Automata Theory (cs.FL)
- [692] arXiv:1501.04836 [pdf, other]
-
Title: Subtropical Real Root FindingAuthors: Thomas SturmJournal-ref: Proc. ISSAC 2015, pp.347-354, ACM 2015Subjects: Symbolic Computation (cs.SC)
- [693] arXiv:1501.04843 [pdf, other]
-
Title: Discrete Voronoi Games and $ε$-Nets, in Two and Three DimensionsSubjects: Computational Geometry (cs.CG)
- [694] arXiv:1501.04850 [pdf, ps, other]
-
Title: AAPPeC: Agent-based Architecture for Privacy Payoff in eCommerceAuthors: Abdulsalam YassineComments: ThesisSubjects: Software Engineering (cs.SE); Computers and Society (cs.CY)
- [695] arXiv:1501.04854 [pdf, ps, other]
-
Title: i2MapReduce: Incremental MapReduce for Mining Evolving Big DataSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [696] arXiv:1501.04860 [pdf, ps, other]
-
Title: A Customized Lattice Reduction Multiprocessor for MIMO DetectionComments: 4 pages, 3 figures, conferenceSubjects: Information Theory (cs.IT)
- [697] arXiv:1501.04865 [pdf, ps, other]
-
Title: Project Monitomation Version 1Comments: Selected For Demos & Exhibit Session COMSNETS 2015, January 6-10th, Bangalore, India. 3 Figure, 1 Table, 2 PagesSubjects: Networking and Internet Architecture (cs.NI)
- [698] arXiv:1501.04867 [pdf, other]
-
Title: Conditional Information Inequalities and Combinatorial ApplicationsSubjects: Information Theory (cs.IT)
- [699] arXiv:1501.04877 [pdf, other]
-
Title: Towards Gathering Robots with Limited View in Linear Time: The Closed Chain CaseSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)
- [700] arXiv:1501.04878 [src]
-
Title: A Light Transport Model for Mitigating Multipath Interference in TOF SensorsAuthors: Nikhil Naik, Achuta Kadambi, Christoph Rhemann, Shahram Izadi, Ramesh Raskar, Sing Bing KangComments: This paper has been withdrawn by the submitter as the submission was made due to a miscommunicationSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [701] arXiv:1501.04884 [pdf, other]
-
Title: Impact of User Mobility on Optimal Linear Receivers in Cellular NetworksAuthors: Anastasios K. PapazafeiropoulosComments: 3 figures, 6 pages, accepted in ICC 2015Subjects: Information Theory (cs.IT)
- [702] arXiv:1501.04887 [pdf, ps, other]
-
Title: On Using Feedback in a Gaussian ChannelComments: arXiv admin note: text overlap with arXiv:1208.2786Journal-ref: Problems of Information Transmission, vol. 50, no. 3, pp. 19--34, 2014Subjects: Information Theory (cs.IT)
- [703] arXiv:1501.04894 [pdf, other]
-
Title: CITEX: A new citation index to measure the relative importance of authors and papers in scientific publicationsComments: Accepted for publication in IEEE International Conference on Communications (ICC) 2015Subjects: Digital Libraries (cs.DL); Discrete Mathematics (cs.DM); Information Retrieval (cs.IR); Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [704] arXiv:1501.04904 [pdf, ps, other]
-
Title: Locally recoverable codes on algebraic curvesComments: Will appear at ISIT 2015Subjects: Information Theory (cs.IT); Algebraic Geometry (math.AG); Number Theory (math.NT)
- [705] arXiv:1501.04905 [pdf, ps, other]
-
Title: Unified Capacity Limit of Non-coherent Wideband Fading ChannelsComments: Accepted for publication in IEEE Transactions on Wireless Communications. Copyright may be transferred without noticeJournal-ref: IEEE Transactions on Wireless Communications, vol. 16, pp. 43--57, Jan. 2017Subjects: Information Theory (cs.IT)
- [706] arXiv:1501.04920 [pdf, ps, other]
-
Title: Regroupement sémantique de définitions en espagnolComments: 11 pages, in French, 5 figures. Workshop Evaluation des m\'ethodes d'Extraction de Connaissances dans les Donn\'ees EvalECD EGC'10, 2010 TunisSubjects: Information Retrieval (cs.IR); Computation and Language (cs.CL)
- [707] arXiv:1501.04925 [pdf, other]
-
Title: Controller Synthesis for Linear Time-varying Systems with AdversariesComments: 10 pages 4 figures; under submission for reviewSubjects: Systems and Control (eess.SY); Cryptography and Security (cs.CR)
- [708] arXiv:1501.04931 [pdf, ps, other]
-
Title: Navigability is a Robust PropertySubjects: Social and Information Networks (cs.SI); Data Structures and Algorithms (cs.DS)
- [709] arXiv:1501.04948 [pdf, other]
-
Title: A practical index for approximate dictionary matching with few mismatchesSubjects: Data Structures and Algorithms (cs.DS)
- [710] arXiv:1501.04979 [pdf, other]
-
Title: FASTA: A Generalized Implementation of Forward-Backward SplittingSubjects: Mathematical Software (cs.MS); Numerical Analysis (math.NA)
- [711] arXiv:1501.04981 [pdf, other]
-
Title: Listening to featuresComments: Technical ReportSubjects: Sound (cs.SD)
- [712] arXiv:1501.04985 [pdf, other]
-
Title: Evacuating Robots from a Disk Using Face-to-Face CommunicationAuthors: Jurek Czyzowicz, Konstantinos Georgiou, Evangelos Kranakis, Lata Narayanan, Jarda Opatrny, Birgit VogtenhuberComments: 22 pages, 8 figures. An extended abstract of this work was accepted for publication in the LNCS proceedings of the 9th International Conference on Algorithms and Complexity (CIAC15)Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Distributed Computing and Networking (August 27, 2020) dmtcs:6198Subjects: Data Structures and Algorithms (cs.DS)
- [713] arXiv:1501.05005 [pdf, ps, other]
-
Title: Varentropy Decreases Under the Polar TransformAuthors: Erdal ArıkanComments: Presented in part at ISIT 2014. Accepted for publication in the IEEE Trans. Inform. Theory, March 2016Subjects: Information Theory (cs.IT)
- [714] arXiv:1501.05007 [pdf, other]
-
Title: Full-Body Collision Detection and Reaction with Omnidirectional Mobile Platforms: A Step Towards Safe Human-Robot InteractionComments: 17 pages, 11 figures, submitted to Springer's Autonomous RobotsSubjects: Robotics (cs.RO)
- [715] arXiv:1501.05016 [pdf, ps, other]
-
Title: A Categorical Semantics for Linear Logical FrameworksAuthors: Matthijs VákárComments: Based on the technical report arXiv:1405.0033 . To appear in the proceedings of FoSSaCS 2015, in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's Lecture Notes in Computer Science seriesSubjects: Logic in Computer Science (cs.LO)
- [716] arXiv:1501.05021 [pdf, other]
-
Title: Stochastic Block Model and Community Detection in the Sparse Graphs: A spectral algorithm with optimal rate of recoverySubjects: Data Structures and Algorithms (cs.DS)
- [717] arXiv:1501.05031 [pdf, ps, other]
-
Title: Maximin Safety: When Failing to Lose is Preferable to Trying to WinComments: 14 pagesJournal-ref: ECSQARU 2013: 254-265Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)
- [718] arXiv:1501.05039 [pdf, ps, other]
-
Title: Defining Data ScienceSubjects: Databases (cs.DB); Computers and Society (cs.CY)
- [719] arXiv:1501.05041 [pdf, other]
-
Title: Pilot-Abstraction: A Valid Abstraction for Data-Intensive Applications on HPC, Hadoop and Cloud Infrastructures?Comments: Submitted to HPDC 2015, 12 pages, 9 figuresSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [720] arXiv:1501.05057 [pdf, other]
-
Title: Optimal Energy Allocation Policy for Wireless Networks in the SkyComments: 6 pages, 6 figures, 11 referencesSubjects: Networking and Internet Architecture (cs.NI)
- [721] arXiv:1501.05060 [pdf, other]
-
Title: Error Correcting Index Codes and MatroidsSubjects: Information Theory (cs.IT)
- [722] arXiv:1501.05080 [pdf, other]
-
Title: Enabling High-Level Application Development for the Internet of ThingsJournal-ref: Journal of Systems and Software, Elsevier, 2015, pp.1 - 26Subjects: Software Engineering (cs.SE)
- [723] arXiv:1501.05086 [pdf, other]
-
Title: Multi-resource Energy-efficient Routing in Cloud Data Centers with Networks-as-a-ServiceComments: 9 pagesSubjects: Networking and Internet Architecture (cs.NI)
- [724] arXiv:1501.05097 [pdf, ps, other]
-
Title: Discrete-Time Models for Implicit Port-Hamiltonian SystemsSubjects: Systems and Control (eess.SY); Dynamical Systems (math.DS); Numerical Analysis (math.NA); Optimization and Control (math.OC)
- [725] arXiv:1501.05098 [pdf, other]
-
Title: Better Answers to Real QuestionsJournal-ref: J. Symb. Comput., 74:255-275, 2016Subjects: Symbolic Computation (cs.SC); Logic in Computer Science (cs.LO)
- [726] arXiv:1501.05104 [pdf, other]
-
Title: Memoization for Unary Logic Programming: Characterizing PTIMEComments: Soumis {\`a} LICS 2015Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
- [727] arXiv:1501.05115 [pdf, ps, other]
-
Title: An Isbell Duality Theorem for Type Refinement SystemsSubjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
- [728] arXiv:1501.05120 [pdf, ps, other]
-
Title: Requirements, Formal Verification and Model transformations of an Agent-based System: A CASE STUDYAuthors: Nadeem AkhtarComments: 16 pages; Computer Engineering and Intelligent Systems this http URL - ISSN 2222-1719 (Paper) ISSN 2222-2863 (Online) - Vol.5, No.3, 2014Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA)
- [729] arXiv:1501.05126 [src]
-
Title: Mathematics of Sparsity and Entropy: Axioms, Core Functions and Sparse RecoveryComments: 33 pages, 4 figures, 9 tables This very preliminary work has been withdrawn by the author due to crucial errors. No future version will be availableSubjects: Information Theory (cs.IT)
- [730] arXiv:1501.05132 [pdf, other]
-
Title: Learning to Rank Academic Experts in the DBLP DatasetComments: Expert Systems, 2013. arXiv admin note: text overlap with arXiv:1302.0413Subjects: Information Retrieval (cs.IR)
- [731] arXiv:1501.05136 [pdf, ps, other]
-
Title: Uma análise bibliométrica do Congresso Nacional de Bibliotecários, Arquivistas e Documentalistas (1985-2012)Comments: in PortugueseJournal-ref: Cadernos BAD, N. 1/2 (2012/2013), 2013Subjects: Digital Libraries (cs.DL)
- [732] arXiv:1501.05138 [pdf, ps, other]
-
Title: Thematic Identification of 'Little Science': Trends in Portuguese IS&LS Literature by Controlled Vocabulary and Co-Word AnalysisComments: In Proceedings of the 5th International Conference on Qualitative and Quantitative Methods in Libraries, 2013Subjects: Digital Libraries (cs.DL)
- [733] arXiv:1501.05139 [pdf, other]
-
Title: Detecting Overlapping Link Communities by Finding Local Minima of a Cost Function with a Memetic Algorithm. Part 1: Problem and MethodComments: 11 pages, 2 figures, 2 appendixes; there is some overlap in Appendix A with our earlier preprint arXiv:1206.3992; we have added a reference and revised arguments in sections 1, 3, and 4Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [734] arXiv:1501.05140 [pdf, ps, other]
-
Title: Using Rank Aggregation for Expert Search in Academic Digital LibrariesComments: In Simp\'{o}sio de Inform\'{a}tica, INForum, Portugal, 2011. arXiv admin note: substantial text overlap with arXiv:1302.0413, arXiv:1501.05132Subjects: Information Retrieval (cs.IR)
- [735] arXiv:1501.05141 [pdf, ps, other]
-
Title: An Algebra to Merge Heterogeneous ClassifiersComments: 19 pages, 8 figuresSubjects: Discrete Mathematics (cs.DM); Machine Learning (cs.LG)
- [736] arXiv:1501.05147 [pdf, ps, other]
-
Title: Taming MultirelationsComments: 34 pages, 4 figuresSubjects: Logic in Computer Science (cs.LO)
- [737] arXiv:1501.05151 [pdf, other]
-
Title: Recursive Bayesian Filtering in Circular State SpacesSubjects: Systems and Control (eess.SY); Robotics (cs.RO)
- [738] arXiv:1501.05152 [pdf, other]
-
Title: Mirror, mirror on the wall, tell me, is the error small?Comments: 8 pages, 9 figuresSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [739] arXiv:1501.05153 [pdf, ps, other]
-
Title: Formal requirement and architecture specifications of a multi-agent robotic systemComments: 6 pagesJournal-ref: Journal of Computing, eISSN 2151-9617. Volume 4, Issue 4, April 2012Subjects: Software Engineering (cs.SE); Multiagent Systems (cs.MA)
- [740] arXiv:1501.05177 [pdf, other]
-
Title: Optimal Fractional Repetition Codes and Fractional Repetition Batch CodesComments: arXiv admin note: substantial text overlap with arXiv:1401.4734Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)
- [741] arXiv:1501.05180 [pdf, ps, other]
-
Title: Varieties of Languages in a CategorySubjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Category Theory (math.CT)
- [742] arXiv:1501.05186 [pdf, ps, other]
-
Title: Artificial-Noise-Aided Secure Multi-Antenna Transmission with Limited FeedbackComments: to appear in IEEE Transactions on Wireless CommunicationsSubjects: Information Theory (cs.IT)
- [743] arXiv:1501.05192 [pdf, other]
-
Title: A Graph Theoretic Approach for Object Shape Representation in Compositional Hierarchies Using a Hybrid Generative-Descriptive ModelComments: Paper : 17 pages. 13th European Conference on Computer Vision (ECCV 2014), Zurich, Switzerland, September 6-12, 2014, Proceedings, Part III, pp 566-581. Supplementary material can be downloaded from this http URLSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [744] arXiv:1501.05197 [pdf, ps, other]
-
Title: The weighted 2-metric dimension of trees in the non-landmarks modelSubjects: Data Structures and Algorithms (cs.DS)
- [745] arXiv:1501.05203 [pdf, ps, other]
-
Title: Phrase Based Language Model for Statistical Machine Translation: Empirical StudyAuthors: Geliang ChenComments: supplementary material of this http URL This version is identical to the Bachelor thesis of Geliang Chen archived on the 20th June 2013 in Peking University. Thesis advisor: Professor Jia XuSubjects: Computation and Language (cs.CL)
- [746] arXiv:1501.05212 [pdf, other]
-
Title: QoE-Centric Localized Mobility Management for Future Mobile NetworksComments: IEEE Globecom Conference 2014 (unpublished)Subjects: Networking and Internet Architecture (cs.NI)
- [747] arXiv:1501.05222 [pdf, ps, other]
-
Title: Plug-and-play dual-tree algorithm runtime analysisComments: Submitted to JMLRSubjects: Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG)
- [748] arXiv:1501.05237 [pdf, other]
-
Title: Network Analysis in the Legal Domain: A complex model for European Union legal sourcesSubjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
- [749] arXiv:1501.05239 [pdf, other]
-
Title: Computing the Rank Profile MatrixJournal-ref: ACM International Symposium on Symbolic and Algebraic Computations, pp.146--153, 2015, ISSAC 2015Subjects: Symbolic Computation (cs.SC)
- [750] arXiv:1501.05260 [pdf, ps, other]
-
Title: Reversible Quantum Process AlgebraAuthors: Yong WangComments: 210 pages, 23 figures, 115 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070Subjects: Logic in Computer Science (cs.LO)
- [751] arXiv:1501.05265 [pdf, other]
-
Title: A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented ApplicationsComments: 42 pagesSubjects: Software Engineering (cs.SE); Databases (cs.DB)
- [752] arXiv:1501.05272 [pdf, other]
-
Title: Trolls Identification within an Uncertain FrameworkAuthors: Imen Ouled Dlala (IRISA), Dorra Attiaoui (IRISA), Arnaud Martin (IRISA), Boutheina Ben YaghlaneComments: International Conference on Tools with Artificial Intelligence - ICTAI , Nov 2014, Limassol, CyprusSubjects: Artificial Intelligence (cs.AI)
- [753] arXiv:1501.05279 [pdf, other]
-
Title: Extreme Entropy Machines: Robust information theoretic classificationSubjects: Machine Learning (cs.LG)
- [754] arXiv:1501.05286 [pdf, other]
-
Title: Distributed mining of large scale remote sensing image archives on public computing infrastructuresSubjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [755] arXiv:1501.05290 [pdf, other]
-
Title: Managing large-scale scientific hypotheses as uncertain and probabilistic dataAuthors: Bernardo GonçalvesComments: 145 pages, 61 figures, 1 table. PhD thesis, National Laboratory for Scientific Computing (LNCC), Brazil, February 2015Subjects: Databases (cs.DB); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE)
- [756] arXiv:1501.05296 [pdf, ps, other]
-
Title: Output-sensitive algorithms for sumset and sparse polynomial multiplicationComments: Submitted to ISSAC 2015Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
- [757] arXiv:1501.05297 [pdf, ps, other]
-
Title: Multi Stage based Time Series Analysis of User Activity on Touch Sensitive Surfaces in Highly Noise Susceptible EnvironmentsComments: 9 pages (including 9 figures and 3 tables); International Journal of Computer Applications (published)Journal-ref: International Journal of Computer Applications 105(16):23-31, November 2014Subjects: Human-Computer Interaction (cs.HC); Applications (stat.AP)
- [758] arXiv:1501.05338 [pdf, ps, other]
-
Title: Semantics for Locking SpecificationsSubjects: Programming Languages (cs.PL)
- [759] arXiv:1501.05352 [pdf, ps, other]
-
Title: Optimizing affinity-based binary hashing using auxiliary coordinatesComments: 22 pages, 12 figures; added new experiments and referencesSubjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV); Optimization and Control (math.OC); Machine Learning (stat.ML)
- [760] arXiv:1501.05354 [pdf, other]
-
Title: A speed and departure time optimization algorithm for the Pollution-Routing ProblemComments: 12 pagesJournal-ref: European Journal of Operational Research, 2015, 247(3):782-787Subjects: Data Structures and Algorithms (cs.DS)
- [761] arXiv:1501.05368 [pdf, ps, other]
-
Title: Spatial Spectrum and Energy Efficiency of Random Cellular NetworksComments: appears in IEEE Transactions on Communications, April, 2015Subjects: Networking and Internet Architecture (cs.NI); Information Theory (cs.IT)
- [762] arXiv:1501.05371 [pdf, ps, other]
-
Title: Multistatic Cloud Radar Systems: Joint Sensing and Communication DesignComments: 13 pages, 8 figures, Transactions on Emerging Telecommunications TechnologiesSubjects: Information Theory (cs.IT)
- [763] arXiv:1501.05376 [pdf, ps, other]
-
Title: Wireless Information and Power Transfer in Relay Systems with Multiple Antennas and InterferenceAuthors: Guangxu Zhu, Caijun Zhong, Himal A. Suraweera, George K. Karagiannidis, Zhaoyang Zhang, Theodoros A. TsiftsisComments: accepted, to appear IEEE TCOMSubjects: Information Theory (cs.IT)
- [764] arXiv:1501.05379 [pdf, other]
-
Title: Communication Theoretic Data AnalyticsComments: Published in IEEE Journal on Selected Areas in Communications, Jan. 2015Subjects: Information Theory (cs.IT)
- [765] arXiv:1501.05382 [pdf, other]
-
Title: Enhanced Mixtures of Part Model for Human Pose EstimationSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [766] arXiv:1501.05385 [pdf, ps, other]
-
Title: Numerically Safe Gaussian Elimination with No PivotingComments: 27 pages, 7 figures, the paper is in both areas of computer science (randomized algorithms) and numerical matrix computationsSubjects: Symbolic Computation (cs.SC)
- [767] arXiv:1501.05387 [pdf, other]
-
Title: Gunrock: A High-Performance Graph Processing Library on the GPUComments: 14 pages, accepted by PPoPP'16 (removed the text repetition in the previous version v5)Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
- [768] arXiv:1501.05390 [pdf, ps, other]
-
Title: Real Polynomial Root-finding by Means of Matrix and Polynomial IterationsComments: 24 pages 12 tables. arXiv admin note: substantial text overlap with arXiv:1404.6817Subjects: Symbolic Computation (cs.SC)
- [769] arXiv:1501.05392 [pdf, ps, other]
-
Title: Accelerated Approximation of the Complex Roots and Factors of a Univariate PolynomialComments: 16 pagesSubjects: Symbolic Computation (cs.SC)
- [770] arXiv:1501.05396 [pdf, other]
-
Title: Deep Multimodal Learning for Audio-Visual Speech RecognitionComments: ICASSP 2015Subjects: Computation and Language (cs.CL); Machine Learning (cs.LG)
- [771] arXiv:1501.05405 [pdf, ps, other]
-
Title: Proceedings 4th Workshop on Hybrid Autonomous SystemsJournal-ref: EPTCS 174, 2015Subjects: Systems and Control (eess.SY); Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)
- [772] arXiv:1501.05414 [pdf, ps, other]
-
Title: A Task-Type-Based Algorithm for the Energy-Aware Profit Maximizing Scheduling Problem in Heterogeneous Computing SystemsSubjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)
- [773] arXiv:1501.05421 [pdf, ps, other]
-
Title: Queueing Analysis for Preemptive Transmission in Underlay Cognitive Radio NetworksJournal-ref: International Journal of Communication Systems, Volume 29, Issue 6 April 2016Subjects: Networking and Internet Architecture (cs.NI)
- [774] arXiv:1501.05425 [pdf, other]
-
Title: Foundational Extensible CorecursionSubjects: Programming Languages (cs.PL)
- [775] arXiv:1501.05426 [pdf, ps, other]
-
Title: Classification of Message Spreading in a Heterogeneous Social NetworkAuthors: Siwar Jendoubi (IRISA), Arnaud Martin (IRISA), Ludovic Liétard (IRISA), Boutheina Ben YaghlaneJournal-ref: International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), Jul 2014, Montpellier, France. pp.66 - 75Subjects: Social and Information Networks (cs.SI); Artificial Intelligence (cs.AI); Physics and Society (physics.soc-ph)
- [776] arXiv:1501.05432 [pdf, ps, other]
-
Title: Point Context: An Effective Shape Descriptor for RST-invariant Trajectory RecognitionComments: 11 pages, 10 figuresJournal-ref: Journal of Mathematical Imaging and Vision, 2016Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [777] arXiv:1501.05450 [pdf, other]
-
Title: Joint Ranging and Clock Parameter Estimation by Wireless Round Trip Time MeasurementsComments: IEEE Journal on Selected Areas in Communications (Accepted)Subjects: Networking and Internet Architecture (cs.NI); Systems and Control (eess.SY)
- [778] arXiv:1501.05461 [pdf, ps, other]
-
Title: Linear Massive MIMO Precoders in the Presence of Phase Noise -- A Large-Scale AnalysisComments: Under Review IEEE Transactions on Vehicular Technology, Jan 2015. 13 pagesSubjects: Information Theory (cs.IT)
- [779] arXiv:1501.05462 [pdf, ps, other]
-
Title: A Review of Theory and Practice in ScientometricsComments: accepted for publication in the European Journal of Operational ResearchJournal-ref: European Journal of Operational Research ,246, 1, pp. 1-19, 2015Subjects: Digital Libraries (cs.DL)
- [780] arXiv:1501.05469 [pdf, ps, other]
-
Title: An Improved Stability Condition for Kalman Filtering with Bounded Markovian Packet LossesSubjects: Systems and Control (eess.SY)
- [781] arXiv:1501.05472 [pdf, ps, other]
-
Title: Handwritten Devanagari Script Segmentation: A non-linear Fuzzy ApproachComments: In Proceedings of IEEE Conference on AI Tools and Engineering (ICAITE-08), March 6-8, 2008, PuneSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [782] arXiv:1501.05475 [pdf, ps, other]
-
Title: On the structure of Schnyder woods on orientable surfacesSubjects: Discrete Mathematics (cs.DM); Computational Geometry (cs.CG); Combinatorics (math.CO)
- [783] arXiv:1501.05480 [pdf, ps, other]
-
Title: Robust Transmission Network Expansion Planning in Energy Systems: Improving Computational PerformanceComments: 32 pages and 2 figures in European Journal of Operational Research 2014Journal-ref: European Journal of Operational Research 248 (1), 21-32, 2016Subjects: Computational Engineering, Finance, and Science (cs.CE)
- [784] arXiv:1501.05493 [pdf, other]
-
Title: Smoothed Analysis of the Successive Shortest Path AlgorithmComments: A preliminary version has been presented at SODA 2013Subjects: Data Structures and Algorithms (cs.DS)
- [785] arXiv:1501.05494 [pdf, ps, other]
-
Title: Design of a novel convex hull based feature set for recognition of isolated handwritten Roman numeralsAuthors: Nibaran Das, Sandip Pramanik, Subhadip Basu, Punam Kumar Saha, Ram Sarkar, Mahantapas KunduComments: In proceedings of UB NE ASEE 2009 conference, University of Bridgeport, USA. arXiv admin note: substantial text overlap with arXiv:1410.0478Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [786] arXiv:1501.05495 [pdf, ps, other]
-
Title: A GA Based approach for selection of local features for recognition of handwritten Bangla numeralsComments: In proceedings of UB NE ASEE 2009 conference, University of Bridgeport, USASubjects: Computer Vision and Pattern Recognition (cs.CV)
- [787] arXiv:1501.05497 [pdf, ps, other]
-
Title: An Improved Feature Descriptor for Recognition of Handwritten Bangla AlphabetComments: In proceedings of ICSIP 2009, pp. 451 to 454, August 2009, Mysore, India. arXiv admin note: substantial text overlap with arXiv:1203.0882, arXiv:1002.4040, arXiv:1410.0478Subjects: Computer Vision and Pattern Recognition (cs.CV)
- [788] arXiv:1501.05499 [pdf, other]
-
Title: Globally Optimal Cell Tracking using Integer ProgrammingComments: Engin T\"uretken and Xinchao Wang contributed equally to this workSubjects: Computer Vision and Pattern Recognition (cs.CV)
- [789] arXiv:1501.05501 [pdf, ps, other]
-
Title: Correlation between Channel State and Information Source with Empirical Coordination ConstraintAuthors: Maël Le TreustComments: Conference IEEE ITW 2014Subjects: Information Theory (cs.IT)
- [790] arXiv:1501.05502 [pdf, ps, other]
-
Title: Optimizing production scheduling of steel plate hot rolling for economic load dispatch under time-of-use electricity pricingComments: 13 pages, 6 figures, 4 tablesSubjects: Systems and Control (eess.SY)
- [791] arXiv:1501.05528 [pdf, ps, other]
-
Title: Permanent versus determinant: not via saturationsComments: 12 pages; shortened title, corrected error in proof, added bound on stretching factor, provided explicit examplesJournal-ref: Proceedings of the AMS, 145:1247-1258, 2017Subjects: Computational Complexity (cs.CC); Representation Theory (math.RT)
- [792] arXiv:1501.05530 [pdf, other]
-
Title: Belief Hidden Markov Model for speech recognitionJournal-ref: International Conference on Modeling, Simulation and Applied Optimization (ICMSAO), Apr 2013, Hammamet, Tunisia. pp.1 - 6Subjects: Artificial Intelligence (cs.AI)
- [793] arXiv:1501.05542 [pdf, ps, other]
-
Title: Mespotine-RLE-basic v0.9 - An overhead-reduced and improved Run-Length-Encoding MethodAuthors: Meo MespotineComments: 16 pages and algorithm-flowchartsSubjects: Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)
- [794] arXiv:1501.05546 [pdf, ps, other]
-
Title: Using a Big Data Database to Identify Pathogens in Protein Data SpaceComments: 2 pages, 3 figuresSubjects: Databases (cs.DB); Quantitative Methods (q-bio.QM)
- [795] arXiv:1501.05547 [pdf, ps, other]
-
Title: Stable matchings of teachers to schoolsComments: 15 pagesSubjects: Data Structures and Algorithms (cs.DS)
- [796] arXiv:1501.05561 [pdf, other]
-
Title: On Frequency LTL in Probabilistic SystemsComments: A paper presented at CONCUR 2015, with appendixSubjects: Logic in Computer Science (cs.LO)
- [797] arXiv:1501.05576 [pdf, ps, other]
-
Title: The effect of using facebook markup language (fbml) for designing an e-learning model in higher educationComments: Mohammed Amasha, Salem Alkhalaf, "The Effect of using Facebook Markup Language (FBML) for Designing an E-Learning Model in Higher Education". International Journal of Research in Computer Science, 4 (5): pp. 1-9, January 2015Subjects: Computers and Society (cs.CY)
- [798] arXiv:1501.05578 [pdf, ps, other]
-
Title: A Model of an E-Learning Web Site for Teaching and Evaluating OnlineJournal-ref: International Journal of Advanced Computer Science and Applications(IJACSA), 4(12), 2013Subjects: Computers and Society (cs.CY)
- [799] arXiv:1501.05580 [pdf, other]
-
Title: Joint Channel-and-Data Estimation for Large-MIMO Systems with Low-Precision ADCsComments: 7 pages, 4 figuresSubjects: Information Theory (cs.IT)
- [800] arXiv:1501.05581 [pdf, other]
-
Title: Extended Report: Fine-grained Recognition of Abnormal Behaviors for Early Detection of Mild Cognitive ImpairmentSubjects: Other Computer Science (cs.OH)
[ showing 500 entries per page: fewer | more | all ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, cs, 2405, contact, help (Access key information)