Computer Science

50624 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
Spreadsheet Development Methodologies using Resolver: Moving spreadsheets into the 21st Century
By Patrick Kemmis, Giles Thomas · ArXiv: 0802.3475
2008-03-10
0
On Cobweb Posets and Discrete F-Boxes Tilings
By M. Dziemianczuk · ArXiv: 0802.3473
2009-04-02
0
Sketch-Based Estimation of Subpopulation-Weight
By Edith Cohen, Haim Kaplan · ArXiv: 0802.3448
2008-02-26
0
Automatic Verification of Correspondences for Security Protocols
By Bruno Blanchet · ArXiv: 0802.3444
2008-02-26
0
On Cusick-Cheons Conjecture About Balanced Boolean Functions in the Cosets of the Binary Reed-Muller Code
By Yuri L. Borissov · ArXiv: 0802.3437
2008-04-14
0
A Class of Nonbinary Codes and Their Weight Distribution
By Xiangyong Zeng, Nian Li, Lei Hu · ArXiv: 0802.3430
2008-02-26
0
Randomized Frameproof Codes: Fingerprinting Plus Validation Minus Tracing
By N. Prasanth Anthapadmanabhan, Alex, er Barg · ArXiv: 0802.3419
2008-02-26
0
On the Structure of the Capacity Region of Asynchronous Memoryless Multiple-Access Channels
By Ninoslav Marina, Bixio Rimoldi · ArXiv: 0802.3401
2016-11-17
0
PVM-Distributed Implementation of the Radiance Code
By Francisco R. Villatoro, Antonio J. Nebro, Jose E. Fern · ArXiv: 0802.3355
2008-02-25
0
An Algebraic Characterization of Security of Cryptographic Protocols
By Manas K Patra, Yan Zhang · ArXiv: 0802.3328
2008-02-25
0
Use of Rapid Probabilistic Argumentation for Ranking on Large Complex Networks
By Burak Cetin, Haluk Bingol · ArXiv: 0802.3293
2008-02-25
0
Turan Graphs, Stability Number, and Fibonacci Index
By - **Véronique Bruyère** (Université de Mons‑Hainaut, 벨기에) - **Hadrien Mélot** (Université de Mons‑Hainaut, 벨기에) · ArXiv: 0802.3284
2024-03-11
0
An integrated model of traffic, geography and economy in the Internet
By Petter Holme, Josh Karlin, Stephanie Forrest · ArXiv: 0802.3283
2008-06-25
0
General Algorithms for Testing the Ambiguity of Finite Automata
By Cyril Allauzen, Mehryar Mohri, Ashish Rastogi · ArXiv: 0802.3254
2008-02-25
0
On the Capacity and Design of Limited Feedback Multiuser MIMO Uplinks
By Il Han Kim, David J. Love · ArXiv: 0802.3253
2008-02-25
0
Characterization of the convergence of stationary Fokker-Planck learning
By Arturo Berrones · ArXiv: 0802.3235
2009-07-02
0
An entropic view of Pickands theorem
By J.-F. Bercher, C. Vignat · ArXiv: 0802.3110
2008-05-06
0
Hard Fairness Versus Proportional Fairness in Wireless Communications: The Multiple-Cell Case
By Daeyoung Park, Giuseppe Caire · ArXiv: 0802.2975
2008-02-22
0
A New Approach to Spreadsheet Analytics Management in Financial Markets
By Brian Sentence · ArXiv: 0802.2932
2008-03-10
0
Model Checking Games for the Quantitative mu-Calculus
By ** Diana Fischer, Erich Grädel, Łukasz Kaiser (RWTH Aachen · ArXiv: 0802.2871
2008-02-21
0
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
By Christian Glasser, Heinz Schmitz, Victor Selivanov · ArXiv: 0802.2868
2008-02-21
0
Fixed Parameter Polynomial Time Algorithms for Maximum Agreement and Compatible Supertrees
By Viet Tung Hoang, Wing-Kin Sung · ArXiv: 0802.2867
2008-02-21
0
Cardinality and counting quantifiers on omega-automatic structures
By Lukasz Kaiser, Sasha Rubin, Vince Barany · ArXiv: 0802.2866
2008-02-21
0
Quantifying Homology Classes
By Chao Chen, Daniel Freedman · ArXiv: 0802.2865
2008-02-21
0
On Geometric Spanners of Euclidean and Unit Disk Graphs
By Iyad A. Kanj, Ljubomir Perkovic · ArXiv: 0802.2864
2008-02-21
0
Compatibility of Shelah and Stupps and Muchniks iteration with fragments of monadic second order logic
By Dietrich Kuske · ArXiv: 0802.2862
2008-02-21
1
A Theory for Valiants Matchcircuits (Extended Abstract)
By Angsheng Li, Mingji Xia · ArXiv: 0802.2860
2008-02-21
0
Convergence Thresholds of Newtons Method for Monotone Polynomial Equations
By Javier Esparza, Stefan Kiefer, Michael Luttenberger · ArXiv: 0802.2856
2008-02-29
0
Computing Minimum Spanning Trees with Uncertainty
By Thomas Erlebach, Michael Hoffmann, Danny Krizanc · ArXiv: 0802.2855
2008-02-21
0
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
By Jean-Franc{c}ois Dufourd (LSIIT) · ArXiv: 0802.2853
2008-02-21
0
«« « 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 » »»