Computer Science

56914 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
Consistency and Completeness of Rewriting in the Calculus of Constructions
By Daria Walukiewicz-Chrzaszcz, Jacek Chrzaszcz · ArXiv: 0806.1749
2015-07-01
4
Bounded Budget Connection (BBC) Games or How to make friends and influence people, on a budget
By Nikolaos Laoutaris, Laura J. Poplawski, Rajmohan Rajaraman · ArXiv: 0806.1727
2008-06-11
0
Fast Arithmetics Using Chinese Remaindering
By George Davida, Bruce Litow, Guangwu Xu · ArXiv: 0806.1722
2008-06-11
2
The Lotus-Eater Attack
By Ian A. Kash, Eric J. Friedman, Joseph Y. Halpern · ArXiv: 0806.1711
2008-12-18
3
Bounds on the Sum Capacity of Synchronous Binary CDMA Channels
By K. Alishahi, F. Marvasti, V. Aref · ArXiv: 0806.1659
2016-11-18
2
Toward a combination rule to deal with partial conflict and specificity in belief functions theory
By Arnaud Martin (E3I2), Christophe Osswald (E3I2) · ArXiv: 0806.1640
2008-12-18
1
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
By Ian Pratt-Hartmann · ArXiv: 0806.1636
2024-04-19
3
SPAM over Internet Telephony and how to deal with it
By Andreas U. Schmidt, Nicolai Kuntze, Rachid El Khayari · ArXiv: 0806.1610
2008-06-11
2
The injectivity of the global function of a cellular automaton in the hyperbolic plane is undecidable
By Margenstern Maurice · ArXiv: 0806.1602
2009-07-07
2
Co-ordinate Interleaved Distributed Space-Time Coding for Two-Antenna-Relays Networks
By J. Harshan, B. Sundar Rajan · ArXiv: 0806.1577
2016-11-17
2
Wireless Sensor/Actuator Network Design for Mobile Control Applications
By Feng Xia, Yu-Chu Tian, Yanjun Li · ArXiv: 0806.1569
2008-12-18
1
Flexible Time-Triggered Sampling in Smart Sensor-Based Wireless Control Systems
By Feng Xia, Wenhong Zhao · ArXiv: 0806.1567
2008-12-18
1
Competitive Design of Multiuser MIMO Systems based on Game Theory: A Unified View
By Gesualdo Scutari, Daniel P. Palomar, Sergio Barbarossa · ArXiv: 0806.1565
2016-11-17
0
Bits through ARQs
By Krishnan Eswaran, Michael Gastpar, Kannan Ramch · ArXiv: 0806.1549
2008-06-11
1
On the Superdistribution of Digital Goods
By Andreas U. Schmidt · ArXiv: 0806.1543
2008-06-11
2
Posets and Permutations in the Duplication-Loss Model: Minimal Permutations with d Descents
By Mathilde Bouvel (LIAFA), Elisa Pergola (DSI) · ArXiv: 0806.1494
2008-12-18
4
Dynamic Network of Concepts from Web-Publications
By D. V. L, e, A. A. Snarskii · ArXiv: 0806.1439
2008-12-18
2
Topological Complexity of Context-Free omega-Languages: A Survey
By Olivier Finkel (ELM, IMJ, LIP) · ArXiv: 0806.1413
2013-03-14
2
The Improvement of the Bound on Hash Family
By Xianmin Ming, Jiansheng Yang · ArXiv: 0806.1397
2008-12-18
4
An Identity Based Strong Bi-Designated Verifier (t, n) Threshold Proxy Signature Scheme
By Sunder Lal, V, ani Verma · ArXiv: 0806.1377
2008-06-10
6
Robust Cognitive Beamforming With Partial Channel State Information
By Lan Zhang, Ying-Chang Liang, Yan Xin · ArXiv: 0806.1372
2009-01-04
3
VPOET: Using a Distributed Collaborative Platform for Semantic Web Applications
By Mariano Rico, David Camacho, Oscar Corcho · ArXiv: 0806.1361
2008-06-10
4
The end of Sleeping Beautys nightmare
By Berry Groisman · ArXiv: 0806.1316
2008-06-10
2
The Separation of Duty with Privilege Calculus
By Chenggong Lv, Jun Wang, Lu Liu · ArXiv: 0806.1284
2008-06-10
0
Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic<br> Semantics
By Robert Constable, Wojciech Moczydlowski · ArXiv: 0806.1281
2015-07-01
1
The Role of Artificial Intelligence Technologies in Crisis Response
By Khaled M. Khalil, M. Abdel-Aziz, Taymour T. Nazmy · ArXiv: 0806.1280
2008-06-10
3
Scheduling Sensors by Tiling Lattices
By Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch (Texas A&M University) · ArXiv: 0806.1271
2008-06-10
1
Understanding individual human mobility patterns
By M.C. Gonzalez, C.A. Hidalgo, A.-L. Barabasi · ArXiv: 0806.1256
2009-11-13
2
ICT, Community Memory and Technological Appropriation
By Rodrigo Torrens, Luis A. Nunez, Raisa Urribarri · ArXiv: 0806.1246
2008-06-10
3
Improving Classical Authentication with Quantum Communication
By F. M. Assis, P. Mateus, Y. Omar · ArXiv: 0806.1231
2010-02-12
4
«« « 1846 1847 1848 1849 1850 1851 1852 1853 1854 1855 » »»