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

Computer Science

Authors and titles for Feb 2014

[ total of 1264 entries: 1-25 | 26-50 | 51-75 | 76-100 | ... | 1251-1264 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:1402.0009 [pdf, other]
Title: Qualitative Relational Mapping and Navigation for Planetary Rovers
Subjects: Robotics (cs.RO)
[2]  arXiv:1402.0013 [pdf, ps, other]
Title: Classifying Latent Infection States in Complex Networks
Subjects: Social and Information Networks (cs.SI); Physics and Society (physics.soc-ph)
[3]  arXiv:1402.0017 [pdf, other]
Title: Capacity of Binary State Symmetric Channel with and without Feedback and Transmission Cost
Subjects: Information Theory (cs.IT)
[4]  arXiv:1402.0024 [pdf, ps, other]
Title: Polynomial time recognition of squares of ptolemaic graphs and 3-sun-free split graphs
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[5]  arXiv:1402.0029 [pdf]
Title: Fuzzy Decision Analysis in Negotiation between the System of Systems Agent and the System Agent in an Agent-Based Model
Comments: 5 pages, 5 figures, 2 tables, International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, 2013
Subjects: Multiagent Systems (cs.MA)
[6]  arXiv:1402.0030 [pdf, ps, other]
Title: Neural Variational Inference and Learning in Belief Networks
Journal-ref: Proceedings of the 31st International Conference on Machine Learning (ICML), JMLR: W&CP volume 32, 2014 pgs 1791-1799
Subjects: Machine Learning (cs.LG); Machine Learning (stat.ML)
[7]  arXiv:1402.0050 [pdf, ps, other]
Title: Branching Bisimilarity Checking for PRS
Comments: 18 pages, 6 Figures
Subjects: Logic in Computer Science (cs.LO)
[8]  arXiv:1402.0051 [pdf, other]
Title: Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks: Technical Report
Comments: 13 pages (two-column); 3 figures; Manuscript submitted to the ASME Journal on Dynamic Systems, Measurement and Control (JDSMC); In version 2 typos in the text were corrected, the proofs were cleaned up, hyperlinks were added to the bibliography, several clarifications were added to the text, and some statements were made more precise
Subjects: Multiagent Systems (cs.MA); Robotics (cs.RO); Systems and Control (eess.SY)
[9]  arXiv:1402.0054 [pdf, ps, other]
Title: Popular conjectures imply strong lower bounds for dynamic problems
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[10]  arXiv:1402.0060 [pdf, ps, other]
Title: On Classification of Toric Surface Codes of Low Dimension
Comments: 18 pages, 4 figures, 8 tables
Journal-ref: Finite Fields Appl., Vol. 33, pp. 90-102, 2015
Subjects: Information Theory (cs.IT); Combinatorics (math.CO)
[11]  arXiv:1402.0062 [pdf, ps, other]
Title: Exact Common Information
Subjects: Information Theory (cs.IT)
[12]  arXiv:1402.0068 [pdf]
Title: Radiation Pattern of Patch Antenna with Slits
Comments: 6 pages and 7 figures
Subjects: Information Theory (cs.IT)
[13]  arXiv:1402.0081 [pdf, other]
Title: Proof Pattern Search in Coq/SSReflect
Subjects: Logic in Computer Science (cs.LO)
[14]  arXiv:1402.0087 [pdf]
Title: A novel datatype architecture support for programming languages
Comments: This paper is accepted and published in International journal of Programming Languages and applications
Journal-ref: International journal of Programming Languages and applications Vol. 4 No.1 2014
Subjects: Programming Languages (cs.PL)
[15]  arXiv:1402.0116 [pdf]
Title: A Conceptual Framework for ERP Evaluation in Universities of Pakistan
Journal-ref: Sindh University Research Journal (Science Series) Vol. 45 (3)467-475 (2013)
Subjects: Computers and Society (cs.CY)
[16]  arXiv:1402.0121 [pdf, other]
Title: Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults
Authors: Alexandre Maurer (EPFL), Sébastien Tixeuil (LINCS, NPA), Xavier Défago (JAIST)
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Networking and Internet Architecture (cs.NI)
[17]  arXiv:1402.0130 [pdf, ps, other]
Title: Dynamical Properties of a Two-gene Network with Hysteresis
Comments: 55 pages, 31 figures.Expanded version of paper in Special Issue on Hybrid Systems and Biology, Elsevier Information and Computation, 2014
Subjects: Systems and Control (eess.SY); Dynamical Systems (math.DS)
[18]  arXiv:1402.0134 [pdf, other]
Title: On the Decision Number of Graphs
Comments: 17 pages, 7 figures
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[19]  arXiv:1402.0140 [pdf, other]
Title: Probabilistic Model Validation for Uncertain Nonlinear Systems
Comments: 24 pages, 14 figures
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[20]  arXiv:1402.0146 [pdf, other]
Title: Remarks on AKS Primality Testing Algorithm and A Flaw in the Definition of P
Subjects: Computational Complexity (cs.CC)
[21]  arXiv:1402.0147 [pdf, other]
Title: A Probabilistic Method for Nonlinear Robustness Analysis of F-16 Controllers
Comments: 27 pages, 17 figures
Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)
[22]  arXiv:1402.0157 [pdf]
Title: UML Artifacts Reuse: State of the Art
Comments: Conference Proceedings
Journal-ref: International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 115-122, 2013
Subjects: Software Engineering (cs.SE)
[23]  arXiv:1402.0160 [pdf]
Title: A framework for reuse of multi-view UML artifacts
Comments: conference proceeding
Journal-ref: International Journal of Soft Computing and Software Engineering [JSCSE], Vol. 3, No. 3, pp. 156-162, 2013, Doi: 10.7321/jscse.v3.n3.25
Subjects: Software Engineering (cs.SE)
[24]  arXiv:1402.0170 [pdf, other]
Title: Collaborative Receptive Field Learning
Comments: 16 pages, 8 figures
Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG); Multimedia (cs.MM); Machine Learning (stat.ML)
[25]  arXiv:1402.0200 [pdf]
Title: SPHERE: Meaningful and Inclusive Sensor-Based Home Healthcare
Comments: Presented at the ACM CSCW 2014 workshop on Designing with Users for Domestic environments: Methods, Challenges, Lessons Learned
Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY)
[ total of 1264 entries: 1-25 | 26-50 | 51-75 | 76-100 | ... | 1251-1264 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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