Computer Science

57402 papers in Computer Science

Explore Subcategories

Information Theory
1601 Papers
Artificial Intelligence
1580 Papers
Cryptography and Security
1290 Papers
Data Structures and Algorithms
1258 Papers
Networking
1126 Papers
Discrete Mathematics
1039 Papers
Distributed Computing
981 Papers
Logic in Computer Science
972 Papers
Software Engineering
935 Papers
Machine Learning
932 Papers
Computers and Society
915 Papers
Computational Complexity
861 Papers
TITLE
DATE
VIEWS
Proposed Information Sharing Security Approach for Security Personnels, Vertical Integration, Semantic Interoperability Architecture and Framework for Digital Government
By Md.Headayetullah, G.K. Pradhan, Sanjay Biswas · ArXiv: 1107.5397
2015-03-12
0
Controlling wheelchairs by body motions: A learning framework for the adaptive remapping of space
By Tauseef Gulrez, Aless, ro Tognetti · ArXiv: 1107.5387
2011-07-28
0
The set of solutions of random XORSAT formulae
By Morteza Ibrahimi, Yash Kanoria, Matt Kraning · ArXiv: 1107.5377
2015-09-10
0
Bidirectional Pipelining for Scalable IP Lookup and Packet Classification
By Weirong Jiang, Hoang Le, Viktor K. Prasanna · ArXiv: 1107.5372
2011-07-28
0
Edge-coloring series-parallel multigraphs
By Cristina G. Fern, es, Robin Thomas · ArXiv: 1107.5370
2011-08-01
0
Multi Layer Analysis
By Luca Pinello · ArXiv: 1107.5349
2011-07-28
0
Matroidal Degree-Bounded Minimum Spanning Trees
By Rico Zenklusen · ArXiv: 1107.5329
2011-07-28
1
Information-theoretically Secure Regenerating Codes for Distributed Storage
By Nihar B. Shah, K. V. Rashmi, P. Vijay Kumar · ArXiv: 1107.5279
2015-03-19
0
Modules over relative monads for syntax and semantics
By Benedikt Ahrens · ArXiv: 1107.5252
2019-02-20
0
ALPprolog --- A New Logic Programming Method for Dynamic Domains
By Conrad Drescher, Michael Thielscher · ArXiv: 1107.5242
2011-07-27
0
Submodular Optimization for Efficient Semi-supervised Support Vector Machines
By Wael Emara, Mehmed Kantardzic · ArXiv: 1107.5236
2011-08-24
0
Distributed Planarization and Local Routing Strategies in Sensor Networks
By Aubin Jarry, Florian Huc, Pierre Leone · ArXiv: 1107.5154
2011-07-27
0
The Magic of Logical Inference in Probabilistic Programming
By Bernd Gutmann, Ingo Thon, Angelika Kimmig · ArXiv: 1107.5152
2011-07-27
0
Finite countermodels for safety verification of parameterized tree systems
By Alexei Lisitsa · ArXiv: 1107.5142
2011-07-27
0
Oblivious RAM Simulation with Efficient Worst-Case Access Overhead
By Michael T. Goodrich, Michael Mitzenmacher, Olga Ohrimenko · ArXiv: 1107.5093
2015-03-19
0
Algorithmic and Complexity Results for Cutting Planes Derived from Maximal Lattice-Free Convex Sets
By Amitabh Basu, Robert Hildebr, Matthias K"oppe · ArXiv: 1107.5068
2011-07-27
0
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
By Miguel Areias, Ricardo Rocha · ArXiv: 1107.5030
2011-07-27
0
An iterative feature selection method for GRNs inference by exploring topological properties
By Fabricio Martins Lopes, David C. Martins-Jr, Junior Barrera · ArXiv: 1107.5000
2011-07-26
0
Variational Gaussian Process Dynamical Systems
By Andreas C. Damianou, Michalis K. Titsias, Neil D. Lawrence · ArXiv: 1107.4985
2011-07-26
1
On the Problem of Wireless Scheduling with Linear Power Levels
By Tigran Tonoyan · ArXiv: 1107.4981
2011-07-26
0
Drawing Graphs with Vertices at Specified Positions and Crossings at Large Angles
By Martin Fink, Jan-Henrik Haunert, Tamara Mchedlidze · ArXiv: 1107.4970
2011-07-26
0
An end-to-end machine learning system for harmonic analysis of music
By Yizhao Ni, Matt Mcvicar, Raul Santos-Rodriguez · ArXiv: 1107.4969
2011-07-26
0
Normative design using inductive learning
By Domenico Corapi, Aless, ra Russo · ArXiv: 1107.4967
2011-07-26
0
Lifted Graphical Models: A Survey
By Lilyana Mihalkova, Lise Getoor · ArXiv: 1107.4966
2011-08-29
0
Data Dissemination in Cognitive Radio Networks
By Mubashir Husain Rehmani · ArXiv: 1107.4950
2011-07-26
0
Mobile Cloud Computing: A Comparison of Application Models
By Dejan Kovachev, Yiwei Cao, Ralf Klamma · ArXiv: 1107.4940
2011-07-26
0
Paraconsistency and Topological Semantics
By Can Baskent · ArXiv: 1107.4939
2011-11-14
0
Instantiation Schemes for Nested Theories
By Mnacho Echenim, Nicolas Peltier · ArXiv: 1107.4937
2011-07-26
0
Public Announcement Logic in Geometric Frameworks
By Can Baskent · ArXiv: 1107.4935
2011-08-19
0
Homotopies in Classical and Paraconsistent Modal Logics
By Can Baskent · ArXiv: 1107.4932
2011-08-19
0
«« « 1691 1692 1693 1694 1695 1696 1697 1698 1699 1700 » »»