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

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Computer Science

Authors and titles for December 2014

Total of 1665 entries : 1-50 51-100 101-150 151-200 201-250 251-300 301-350 ... 1651-1665
Showing up to 50 entries per page: fewer | more | all
[151] arXiv:1412.1114 [pdf, other]
Title: Easy Hyperparameter Search Using Optunity
Marc Claesen, Jaak Simm, Dusan Popovic, Yves Moreau, Bart De Moor
Comments: 5 pages, 1 figure
Subjects: Machine Learning (cs.LG)
[152] arXiv:1412.1123 [pdf, other]
Title: DeepEdge: A Multi-Scale Bifurcated Deep Network for Top-Down Contour Detection
Gedas Bertasius, Jianbo Shi, Lorenzo Torresani
Comments: Accepted to CVPR 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[153] arXiv:1412.1124 [pdf, other]
Title: Tree-like resolution complexity of two planar problems
Dmitry Itsykson, Anna Malova, Vsevolod Oparin, Dmitry Sokolov
Subjects: Computational Complexity (cs.CC)
[154] arXiv:1412.1125 [pdf, other]
Title: Smooth Bezier Surfaces over Arbitrary Quadrilateral Meshes
Michel Bercovier, Tanya Matskewich
Comments: 170 pages, 56 figures Revised version to include a new result by J Peters on G1/C1 IGA matching of a pair of patches,, and some recent references
Subjects: Numerical Analysis (math.NA)
[155] arXiv:1412.1127 [pdf, other]
Title: IPMACC: Open Source OpenACC to CUDA/OpenCL Translator
Ahmad Lashgar, Alireza Majidi, Amirali Baniasadi
Comments: 14 pages, 2 figures
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[156] arXiv:1412.1130 [pdf, other]
Title: It's Not Easy Being Three: The Approximability of Three-Dimensional Stable Matching Problems
Rafail Ostrovsky, Will Rosenbaum
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[157] arXiv:1412.1135 [pdf, other]
Title: Detector Discovery in the Wild: Joint Multiple Instance and Representation Learning
Judy Hoffman, Deepak Pathak, Trevor Darrell, Kate Saenko
Journal-ref: Computer Vision and Pattern Recognition (CVPR) 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[158] arXiv:1412.1138 [pdf, other]
Title: Highly comparative fetal heart rate analysis
B. D. Fulcher, A. E. Georgieva, C. W. G. Redman, Nick S. Jones
Comments: 7 pages, 4 figures
Journal-ref: Fulcher, B. D., Georgieva, A., Redman, C. W., & Jones, N. S. (2012). Highly comparative fetal heart rate analysis (pp. 3135-3138). Presented at the 34th Annual International Conference of the IEEE EMBS, San Diego, CA, USA
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Quantitative Methods (q-bio.QM)
[159] arXiv:1412.1140 [pdf, other]
Title: Sphynx: A Shared Instruction Cache Exporatory Study
Dong-hyeon Park, Akhil Bagaria, Fabiha Hannan, Eric Storm, Josef Spjut
Comments: 4 pages, 6 figures
Subjects: Hardware Architecture (cs.AR)
[160] arXiv:1412.1141 [pdf, other]
Title: An Implementation Framework (IF) for the National Information Assurance and Cyber Security Strategy (NIACSS) of Jordan
Ahmed Otoom, Issa Atoum
Comments: 7 pages,8 figures, The International Arab Journal of Information Technology, Vol. 10, No. 4, July 2013
Subjects: Software Engineering (cs.SE)
[161] arXiv:1412.1143 [pdf, other]
Title: The Kadison-Singer Problem for Strongly Rayleigh Measures and Applications to Asymmetric TSP
Nima Anari, Shayan Oveis Gharan
Subjects: Data Structures and Algorithms (cs.DS); Combinatorics (math.CO); Probability (math.PR)
[162] arXiv:1412.1145 [pdf, other]
Title: Matrix Multiplication, Trilinear Decompositions, APA Algorithms, and Summation
Victor Y. Pan
Comments: 16 pages, 2 figures
Subjects: Data Structures and Algorithms (cs.DS)
[163] arXiv:1412.1151 [pdf, other]
Title: Verification of Programs by Combining Iterated Specialization with Interpolation
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas, Maurizio Proietti
Comments: In Proceedings HCVS 2014, arXiv:1412.0825
Journal-ref: EPTCS 169, 2014, pp. 3-18
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[164] arXiv:1412.1152 [pdf, other]
Title: Synthesizing Modular Invariants for Synchronous Code
Pierre-Loic Garoche (Onera, The French Aerospace Lab), Arie Gurfinkel (SEI / CMU), Temesghen Kahsai (NASA Ames / CMU)
Comments: In Proceedings HCVS 2014, arXiv:1412.0825
Journal-ref: EPTCS 169, 2014, pp. 19-30
Subjects: Logic in Computer Science (cs.LO)
[165] arXiv:1412.1153 [pdf, other]
Title: Horn Clauses for Communicating Timed Systems
Hossein Hojjat (Cornell University, USA), Philipp Rümmer (Uppsala University, Sweden), Pavle Subotic (Uppsala University, Sweden), Wang Yi (Uppsala University, Sweden)
Comments: In Proceedings HCVS 2014, arXiv:1412.0825
Journal-ref: EPTCS 169, 2014, pp. 39-52
Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE); Systems and Control (eess.SY)
[166] arXiv:1412.1154 [pdf, other]
Title: Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification
Bishoksan Kafle, John P. Gallagher
Comments: In Proceedings HCVS 2014, arXiv:1412.0825
Journal-ref: EPTCS 169, 2014, pp. 53-67
Subjects: Logic in Computer Science (cs.LO)
[167] arXiv:1412.1156 [pdf, other]
Title: Runtime Verification Through Forward Chaining
Alan Perotti (University of Turin, Italy), Guido Boella (University of Turin, Italy), Artur d'Avila Garcez (City University London, UK)
Comments: In Proceedings HCVS 2014, arXiv:1412.0825
Journal-ref: EPTCS 169, 2014, pp. 68-81
Subjects: Logic in Computer Science (cs.LO)
[168] arXiv:1412.1180 [pdf, other]
Title: Optimizing a Personalized Multigram Cellphone Keypad
Joonseok Lee, R. I. (Bob)McKay
Comments: 18 pages (including header pages), 3 figures, 8 tables
Subjects: Human-Computer Interaction (cs.HC)
[169] arXiv:1412.1185 [pdf, other]
Title: The Entropy of Attention and Popularity in YouTube Videos
Jonathan Scott Morgan, Iman Barjasteh, Cliff Lampe, Hayder Radha
Subjects: Social and Information Networks (cs.SI); Computers and Society (cs.CY); Physics and Society (physics.soc-ph)
[170] arXiv:1412.1189 [pdf, other]
Title: The domination number of on-line social networks and random geometric graphs
Anthony Bonato, Marc Lozier, Dieter Mitsche, Xavier Pérez-Giménez, Paweł Prałat
Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM)
[171] arXiv:1412.1193 [pdf, other]
Title: New insights and perspectives on the natural gradient method
James Martens
Comments: Minor corrections from previous version and fixed typos. Official JMLR version
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[172] arXiv:1412.1194 [pdf, other]
Title: Gradient Boundary Histograms for Action Recognition
Feng Shi, Robert Laganiere, Emil Petriu
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[173] arXiv:1412.1205 [pdf, other]
Title: A Simple Homotopy Proximal Mapping for Compressive Sensing
Tianbao Yang, Lijun Zhang, Rong Jin, Shenghuo Zhu, Zhi-Hua Zhou
Comments: In this version, we include simulation results and add more details in proofs
Subjects: Information Theory (cs.IT)
[174] arXiv:1412.1215 [pdf, other]
Title: Mary Astell's words in A Serious Proposal to the Ladies (part I), a lexicographic inquiry with NooJ
Hélène Pignot (SAMM), Odile Piton (SAMM)
Comments: Zoe Gavriilidou, Elina Chadjipapa, Lena Papadopoulou, Max Silberztein. Nooj 2010 International Conference and Workshop, May 2010, Komotini, Greece. University of Thrace, Proceedings of the Nooj 2010 International Conference and Workshop, pp.232-244, this http URL\_BOOK\this http URL
Subjects: Computation and Language (cs.CL)
[175] arXiv:1412.1216 [pdf, other]
Title: Simple Two-Dimensional Object Tracking based on a Graph Algorithm
Alexandra Heidsieck
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[176] arXiv:1412.1219 [pdf, other]
Title: Colorisation et texturation temps réel d'environnements urbains par système mobile avec scanner laser et caméra fish-eye
Jean-Emmanuel Deschaud (CAOR), Xavier Brun (CAOR), François Goulette (CAOR)
Comments: in French
Journal-ref: Revue Francaise de Photogrammetrie et de Teledetection, Revue Francaise de Photogrammetrie et de Teledetection, 2010, pp.29-37
Subjects: Robotics (cs.RO); Computer Vision and Pattern Recognition (cs.CV)
[177] arXiv:1412.1221 [pdf, other]
Title: Sequential Operations in LogicWeb
Daeseong Kang, Keehang Kwon, Zulkarnine Mahmud
Comments: 9 pages
Subjects: Programming Languages (cs.PL)
[178] arXiv:1412.1224 [pdf, other]
Title: A simple Cartesian scheme for compressible multimaterials
Yannick Gorsse (IMB, INRIA Bordeaux - Sud-Ouest), Angelo Iollo (IMB, INRIA Bordeaux - Sud-Ouest), Thomas Milcent (I2M), Haysam TELIB (DIASP)
Journal-ref: Journal of Computational Physics, 2014, 272, pp.772-798
Subjects: Numerical Analysis (math.NA); Classical Physics (physics.class-ph)
[179] arXiv:1412.1227 [pdf, other]
Title: Enjeux et propositions sur les architectures RF pour l'homme connecté à la société numérique
Guillaume Villemaud (CITI Insa Lyon / Inria Grenoble Rhône-Alpes), Florin Hutu (CITI Insa Lyon / Inria Grenoble Rhône-Alpes), Tanguy Risset (CITI Insa Lyon / Inria Grenoble Rhône-Alpes), Jean-Marie Gorce (CITI Insa Lyon / Inria Grenoble Rhône-Alpes)
Comments: in French
Journal-ref: Journ{\'e}es Scientifiques URSI 2014, Mar 2014, Paris, France
Subjects: Networking and Internet Architecture (cs.NI)
[180] arXiv:1412.1229 [pdf, other]
Title: SAT is a problem with exponential complexity measured by negentropy
Feng Pan
Comments: This paper has been withdrawn by the author due to a crucial naive error
Subjects: Computational Complexity (cs.CC)
[181] arXiv:1412.1234 [pdf, other]
Title: Long-time asymptotic solution structure of Camassa-Holm equation subject to an initial condition with non-zero reflection coefficient of the scattering data
Chueh-Hsin Chang, Ching-Hao Yu, Tony Wen-Hann Sheu
Comments: 40 pages, 11 figures
Subjects: Numerical Analysis (math.NA); Mathematical Physics (math-ph)
[182] arXiv:1412.1241 [pdf, other]
Title: Combinatorial Redundancy Detection
Komei Fukuda, Bernd Gärtner, May Szedlák
Subjects: Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS); Optimization and Control (math.OC)
[183] arXiv:1412.1251 [pdf, other]
Title: From Human-Computer Interaction to Human-Robot Social Interaction
Tarek Toumi, Abdelmadjid Zidani
Journal-ref: IJCSI International Journal of Computer Science Issues, Vol. 11, Issue 1, No 1, 2014 1694-0814
Subjects: Robotics (cs.RO); Human-Computer Interaction (cs.HC); Systems and Control (eess.SY)
[184] arXiv:1412.1253 [pdf, other]
Title: Preconditioners for hierarchical matrices based on their extended sparse form
Daria Sushnikova, Ivan V. Oseledets
Comments: 14 pages
Subjects: Numerical Analysis (math.NA)
[185] arXiv:1412.1254 [pdf, other]
Title: Longest Common Extensions in Trees
Philip Bille, Pawel Gawrychowski, Inge Li Goertz, Gad M. Landau, Oren Weimann
Subjects: Data Structures and Algorithms (cs.DS)
[186] arXiv:1412.1257 [pdf, other]
Title: Fast-Decodable Space-Time Codes for the $N$-Relay and Multiple-Access MIMO Channel
Amaro Barreal, Camilla Hollanti, Nadya Markin
Comments: IEEE Transactions on Wireless Communications
Subjects: Information Theory (cs.IT); Number Theory (math.NT)
[187] arXiv:1412.1260 [pdf, other]
Title: A staggered space-time discontinuous Galerkin method for the incompressible Navier-Stokes equations on two-dimensional triangular meshes
Maurizio Tavelli, Michael Dumbser
Comments: arXiv admin note: text overlap with arXiv:1407.1205
Subjects: Numerical Analysis (math.NA)
[188] arXiv:1412.1261 [pdf, other]
Title: On the Complexity of Various Parameterizations of Common Induced Subgraph Isomorphism
Faisal N. Abu-Khzam, Édouard Bonnet, Florian Sikora
Comments: This version introduces new results
Subjects: Data Structures and Algorithms (cs.DS)
[189] arXiv:1412.1265 [pdf, other]
Title: Deeply learned face representations are sparse, selective, and robust
Yi Sun, Xiaogang Wang, Xiaoou Tang
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[190] arXiv:1412.1267 [pdf, other]
Title: On-Off Transmission Policy for Wireless Powered Communication with Energy Storage
Rania Morsi, Diomidis S. Michalopoulos, Robert Schober
Comments: 7 pages, 3 figures, 1 Table, accepted for conference publication
Subjects: Information Theory (cs.IT)
[191] arXiv:1412.1271 [pdf, other]
Title: Deep Distributed Random Samplings for Supervised Learning: An Alternative to Random Forests?
Xiao-Lei Zhang
Comments: This paper has been withdrawn by the author. The idea is wrong and is no longer to be posed on site. The paper will no longer be updated
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[192] arXiv:1412.1283 [pdf, other]
Title: Convolutional Feature Masking for Joint Object and Stuff Segmentation
Jifeng Dai, Kaiming He, Jian Sun
Comments: IEEE Conference on Computer Vision and Pattern Recognition (CVPR), 2015
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[193] arXiv:1412.1297 [pdf, other]
Title: High Performance Computing Evaluation A methodology based on Scientific Application Requirements
Mariza Ferro, Antonio R. Mury, Laion F. Manfroi, Bruno Schlze
Comments: 29 pages, 2 tables and 8 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)
[194] arXiv:1412.1318 [pdf, other]
Title: Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching
Sayan Bhattacharya, Monika Henzinger, Giuseppe F. Italiano
Comments: An extended abstract of this paper will appear in SODA' 2015
Subjects: Data Structures and Algorithms (cs.DS)
[195] arXiv:1412.1330 [pdf, other]
Title: Ceramics Fragments Digitization by Photogrammetry, Reconstructions and Applications
Jean-Baptiste Barreau (CReAAH, INRIA - IRISA, INSA Rennes), Théophane Nicolas (INRAP), G Bruniaux (CReAAH), E Petit (CReAAH), Q Petit, Y Bernard (CReAAH, UR1), Ronan Gaugne (UR1), Valérie Gouranton (INRIA - IRISA, INSA Rennes)
Comments: International Conference on Culturage Heritage, EuroMed, 2014, Nov 2014, Lemessos, Cyprus
Subjects: Graphics (cs.GR)
[196] arXiv:1412.1342 [pdf, other]
Title: A perspective on the advancement of natural language processing tasks via topological analysis of complex networks
Diego R. Amancio
Journal-ref: Physics of Life Reviews, v. 11, p. 641-643, 2014
Subjects: Computation and Language (cs.CL)
[197] arXiv:1412.1352 [pdf, other]
Title: A Study of Space-Time Discretizations for the Dirac Equation
Robert Vaselaar, Hyun Lim, Jung-Han Kimn
Comments: 18 pages, 15 figures
Subjects: Numerical Analysis (math.NA)
[198] arXiv:1412.1363 [pdf, other]
Title: Iterative Splitting Methods: Almost Asymptotic Symplectic Integrator for Stochastic Nonlinear Schrödinger Equation
Juergen Geiser
Comments: 17 pages
Subjects: Numerical Analysis (math.NA); Probability (math.PR)
[199] arXiv:1412.1372 [pdf, other]
Title: Analysis and Design Specifications for Full-Duplex Radio Transceivers under RF Oscillator Phase-Noise with Arbitrary Spectral Shape
Ville Syrjälä, Koji Yamamoto, Mikko Valkama
Comments: Submitted to IEEE Transactions on Vehicular Technology
Subjects: Information Theory (cs.IT)
[200] arXiv:1412.1393 [pdf, other]
Title: CLAZY: Lazy Calling for Common Lisp
Marco Antoniotti
Comments: A version of this note was presented at the 1st European Lisp Symposium 2008, Bordeaux, France
Subjects: Programming Languages (cs.PL)
Total of 1665 entries : 1-50 51-100 101-150 151-200 201-250 251-300 301-350 ... 1651-1665
Showing up to 50 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack