Computer Science

54884 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
On the stability of flow-aware CSMA
By T. Bonald (Telecom ParisTech, Paris, France) · ArXiv: 1003.5068
2011-02-23
0
Incorporating Side Information in Probabilistic Matrix Factorization with Gaussian Processes
By Ryan Prescott Adams, George E. Dahl, Iain Murray · ArXiv: 1003.4944
2010-03-26
0
Approximate Dynamic Programming using Halfspace Queries and Multiscale Monge decomposition
By Gary L. Miller, Richard Peng, Russell Schwartz · ArXiv: 1003.4942
2015-03-13
0
Doubly Perfect Nonlinear Boolean Permutations
By Laurent Poinsot (LIPN) · ArXiv: 1003.4919
2011-01-14
0
Feedback control logic synthesis for non safe Petri nets
By Abbas Dideban, Hassane Alla (GIPSA-lab) · ArXiv: 1003.4905
2010-04-26
0
On the maximal sum of exponents of runs in a string
By Maxime Crochemore, Marcin Kubica, Jakub Radoszewski · ArXiv: 1003.4866
2015-05-18
0
A tree-decomposed transfer matrix for computing exact Potts model partition functions for arbitrary graphs, with applications to planar graph colourings
By Andrea Bedini (INFN, Sezione di Milano), Jesper Lykke Jacobsen (LPTENS) · ArXiv: 1003.4847
2015-05-18
0
Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets
By Mariken H.C. Everdij, Henk A.P. Blom · ArXiv: 1003.4812
2015-03-13
0
The asymptotic value of Randic index for trees
By Xueliang Li, Yiyang Li · ArXiv: 1003.4810
2010-03-26
0
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
By Beno^it Boyer, Thomas Genet · ArXiv: 1003.4803
2010-03-26
0
Automatic Generation of Proof Tactics for Finite-Valued Logics
By Jo~ao Marcos · ArXiv: 1003.4802
2010-03-26
0
Object-oriented Programming Laws for Annotated Java Programs
By Gabriel Falconieri Freitas, Marcio Cornelio, Tiago Massoni · ArXiv: 1003.4800
2010-04-08
0
A Type System for Tom
By Claude Kirchner, Pierre-Etienne Moreau, Claudia Tavares · ArXiv: 1003.4799
2010-03-26
0
Large Margin Boltzmann Machines and Large Margin Sigmoid Belief Networks
By Xu Miao, Rajesh P.N. Rao · ArXiv: 1003.4781
2010-03-26
0
Introduction to clarithmetic I
By Giorgi Japaridze · ArXiv: 1003.4719
2011-08-24
0
Game interpretation of Kolmogorov complexity
By Andrej A. Muchnik, Ilya Mezhirov, Alex · ArXiv: 1003.4712
2010-03-25
0
Bounds for Bilinear Complexity of Noncommutative Group Algebras
By Alexey Pospelov · ArXiv: 1003.4679
2010-03-25
0
The Semantics of Graph Programs
By Detlef Plump (The University of York), S, ra Steinert (The University of York) · ArXiv: 1003.4563
2010-04-08
0
An Implementation of Nested Pattern Matching in Interaction Nets
By Abubakar Hassan (University of Sussex), Eugen Jiresch (Vienna University of Technology), Shinya Sato (Himeji Dokkyo University) · ArXiv: 1003.4562
2010-04-08
0
Involutive Categories and Monoids, with a GNS-correspondence
By Bart Jacobs · ArXiv: 1003.4552
2015-05-18
0
Boltzmann Samplers, Polya Theory, and Cycle Pointing
By Manuel Bodirsky, Eric Fusy, Mihyun Kang · ArXiv: 1003.4546
2011-03-29
0
Mathematical Foundations for a Compositional Distributional Model of Meaning
By Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark · ArXiv: 1003.4394
2010-03-24
0
A Modal Logic for Termgraph Rewriting
By ** - Ph. Balbiani (Université de Toulouse, CNRS, IRIT) - R. Echahed (Laboratoire LIG · ArXiv: 1003.4369
2010-03-24
0
Graph Iterators: Decoupling Graph Structures from Algorithms
By Marco Nissen · ArXiv: 1003.4366
2010-03-24
0
Closed-Form Expressions for Secrecy Capacity over Correlated Rayleigh Fading Channels
By ** Xiaojun Sun, Ming Zhao, Jiang Ming (국가 모바일통신연구실 · ArXiv: 1003.4355
2010-03-24
0
Graph Creation, Visualisation and Transformation
By Maribel Fern, ez, Olivier Namet (Kings College London) · ArXiv: 1003.4326
2010-03-24
0
A New Approach to Population Sizing for Memetic Algorithms: A Case Study for the Multidimensional Assignment Problem
By Daniel Karapetyan, Gregory Gutin · ArXiv: 1003.4314
2015-03-13
0
High-Efficiency Self-Adjusting Switched Capacitor DC-DC Converter with Binary Resolution
By Alex, er Kushnerov · ArXiv: 1003.4301
2010-03-24
0
Unbeatable Imitation
By Peter Duersch, Joerg Oechssler, Burkhard C. Schipper · ArXiv: 1003.4274
2013-01-25
0
L_1 embeddings of the Heisenberg group and fast estimation of graph isoperimetry
By Assaf Naor · ArXiv: 1003.4261
2010-03-24
0
«« « 1712 1713 1714 1715 1716 1717 1718 1719 1720 1721 » »»