cicyt UNIZAR

Computer Science

Authors and titles for recent submissions, skipping first 475

[ total of 743 entries: 1-25 | ... | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | ... | 726-743 ]
[ showing 25 entries per page: fewer | more | all ]

Thu, 15 Mar 2018 (showing first 25 of 125 entries)

[476]  arXiv:1803.05414 [pdf, other]
Title: Linearity is Strictly More Powerful than Contiguity for Encoding Graphs
Subjects: Discrete Mathematics (cs.DM)
[477]  arXiv:1803.05407 [pdf, other]
Title: Averaging Weights Leads to Wider Optima and Better Generalization
Subjects: Learning (cs.LG); Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (stat.ML)
[478]  arXiv:1803.05402 [pdf, other]
Title: Imitation Learning with Concurrent Actions in 3D Games
Subjects: Artificial Intelligence (cs.AI); Learning (cs.LG); Machine Learning (stat.ML)
[479]  arXiv:1803.05401 [pdf, other]
Title: Approximate Query Matching for Image Retrieval
Subjects: Computer Vision and Pattern Recognition (cs.CV); Information Retrieval (cs.IR)
[480]  arXiv:1803.05400 [pdf, other]
Title: Image Colorization with Generative Adversarial Networks
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[481]  arXiv:1803.05399 [pdf]
Title: Which differences can be expected when two universities in the Leiden Ranking are compared? Some benchmarks for institutional research evaluations
Subjects: Digital Libraries (cs.DL)
[482]  arXiv:1803.05396 [pdf, ps, other]
Title: $H$-colouring $P_t$-free graphs in subexponential time
Comments: 8 pages
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[483]  arXiv:1803.05392 [pdf, other]
Title: Constructing Imperfect Recall Abstractions to Solve Large Extensive-Form Games
Comments: (under review)
Subjects: Computer Science and Game Theory (cs.GT)
[484]  arXiv:1803.05391 [pdf, other]
Title: On the Universal Approximation Property and Equivalence of Stochastic Computing-based Neural Networks and Binary Neural Networks
Comments: 9 pages, 4 figures
Subjects: Learning (cs.LG); Machine Learning (stat.ML)
[485]  arXiv:1803.05389 [pdf, other]
Title: LSH Microbatches for Stochastic Gradients: Value in Rearrangement
Comments: 10 pages
Subjects: Learning (cs.LG)
[486]  arXiv:1803.05385 [pdf]
Title: Distributed Random Number Generation for the Needs of Public Governance
Authors: Angelin Lalev
Comments: Presented on the 13-th conference on Information Security (Securitatea Inform\c{t}ional\u{a} 2017), Kishinev, Moldova
Subjects: Cryptography and Security (cs.CR); Computers and Society (cs.CY)
[487]  arXiv:1803.05383 [pdf, ps, other]
Title: Use of recurrent infomax to improve the memory capability of input-driven recurrent neural networks
Subjects: Neural and Evolutionary Computing (cs.NE); Disordered Systems and Neural Networks (cond-mat.dis-nn)
[488]  arXiv:1803.05380 [pdf, ps, other]
Title: Greedy can also beat pure dynamic programming
Comments: 6 pages
Subjects: Computational Complexity (cs.CC)
[489]  arXiv:1803.05376 [pdf, other]
Title: One Net Fits All: A unifying semantics of Dynamic Fault Trees using GSPNs
Comments: Accepted at Petri Nets 2018
Subjects: Software Engineering (cs.SE); Computational Engineering, Finance, and Science (cs.CE)
[490]  arXiv:1803.05372 [pdf, other]
Title: Deletion in abstract Voronoi diagrams in expected linear time
Subjects: Computational Geometry (cs.CG)
[491]  arXiv:1803.05368 [pdf, other]
Title: An Analysis of Home IoT Network Traffic and Behaviour
Comments: Submitted to TMA 2018
Subjects: Networking and Internet Architecture (cs.NI)
[492]  arXiv:1803.05367 [pdf, other]
Title: Integrating UML with Service Refinement for Requirements Modeling and Analysis
Subjects: Software Engineering (cs.SE)
[493]  arXiv:1803.05365 [pdf, ps, other]
Title: The Hsu-Harn-Mu-Zhang-Zhu group key establishment protocol is insecure
Authors: Chris J Mitchell
Subjects: Cryptography and Security (cs.CR)
[494]  arXiv:1803.05364 [pdf, ps, other]
Title: Temporal Correlation of Interference in Vehicular Networks with Shifted-Exponential Time Headways
Subjects: Networking and Internet Architecture (cs.NI)
[495]  arXiv:1803.05362 [pdf, other]
Title: Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
Subjects: Software Engineering (cs.SE)
[496]  arXiv:1803.05361 [pdf, other]
Title: Approximating Generalized Network Design under (Dis)economies of Scale with Applications to Energy Efficiency
Comments: 39 pages, 1 figure. An extended abstract of this paper is to appear in the 50th Annual ACM Symposium on the Theory of Computing (STOC 2018)
Subjects: Computer Science and Game Theory (cs.GT); Data Structures and Algorithms (cs.DS)
[497]  arXiv:1803.05355 [pdf, other]
Title: FEVER: a large-scale dataset for Fact Extraction and VERification
Comments: To appear at NAACL2018. Data will soon be released on this https URL
Subjects: Computation and Language (cs.CL)
[498]  arXiv:1803.05353 [pdf, other]
Title: MedShare: Medical Resource Sharing among Autonomous Healthcare Providers
Comments: underview of J-BHI
Subjects: Software Engineering (cs.SE)
[499]  arXiv:1803.05350 [pdf, ps, other]
Title: Optimal Bounds for Johnson-Lindenstrauss Transformations
Subjects: Discrete Mathematics (cs.DM); Probability (math.PR)
[500]  arXiv:1803.05347 [pdf, other]
Title: Illumination-aware Faster R-CNN for Robust Multispectral Pedestrian Detection
Subjects: Computer Vision and Pattern Recognition (cs.CV)
[ total of 743 entries: 1-25 | ... | 401-425 | 426-450 | 451-475 | 476-500 | 501-525 | 526-550 | 551-575 | ... | 726-743 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)