Computer Science

56274 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
CPBVP: A Constraint-Programming Framework for Bounded Program Verification
By ** 헬레네 콜라비자 (Hélène Collavizza) – Université de Nice‑Sophia Antipolis, 프랑스 미셸 루에르 (Michel Rueher) – Université de Nice‑Sophia Antipolis, 프랑스 파스칼 반 헨텐리크 (Pascal Van Hentenryck) – Brown University · ArXiv: 0807.2383
2008-07-16
0
Analyse des suites aleatoires engendrees par des automates cellulaires et applications `a la cryptographie
By Bruno Martin (I3S) · ArXiv: 0807.2381
2008-07-16
0
Avatar Mobility in Networked Virtual Environments: Measurements, Analysis, and Implications
By Huiguang Liang, Ian Tay, Ming Feng Neo · ArXiv: 0807.2328
2008-07-16
0
A new characteristic property of rich words
By Michelangelo Bucci, Aless, ro De Luca · ArXiv: 0807.2303
2010-03-16
0
Rate and power allocation under the pairwise distributed source coding constraint
By Shizheng Li, Aditya Ramamoorthy · ArXiv: 0807.2292
2009-06-10
0
Multihop Diversity in Wideband OFDM Systems: The Impact of Spatial Reuse and Frequency Selectivity
By Ozgur Oyman, J. Nicholas Laneman · ArXiv: 0807.2268
2016-11-15
0
Towards an Effective Intrusion Response Engine Combined with Intrusion Detection in Ad Hoc Networks
By Aikaterini Mitrokotsa, Nikos Komninos, Christos Douligeris · ArXiv: 0807.2053
2008-07-15
0
Intrusion Detection in Mobile Ad Hoc Networks Using Classification Algorithms
By Aikaterini Mitrokotsa, Manolis Tsagkaris, Christos Douligeris · ArXiv: 0807.2049
2008-07-15
0
Virtual Transmission Method, A New Distributed Algorithm to Solve Sparse Linear System
By ** - Fei Wei - Huazhong Yang ** · ArXiv: 0807.1949
2010-09-09
0
Extension of Inagaki General Weighted Operators and A New Fusion Rule Class of Proportional Redistribution of Intersection Masses
By Florentin Smar, ache · ArXiv: 0807.1906
2009-06-17
0
Towards Black-Box Accountable Authority IBE with Short Ciphertexts and Private Keys
By Beno^it Libert, Damien Vergnaud · ArXiv: 0807.1775
2009-09-08
0
Spatial Interference Cancellation for Multi-Antenna Mobile Ad Hoc Networks
By Kaibin Huang, Jeffrey G. Andrews, Dongning Guo · ArXiv: 0807.1773
2012-08-27
0
Coinductive Formal Reasoning in Exact Real Arithmetic
By Milad Niqui · ArXiv: 0807.1669
2015-07-01
0
A Radar for the Internet
By Matthieu Latapy, Clemence Magnien, Frederic Ouedraogo · ArXiv: 0807.1603
2016-11-15
0
Algorithm Selection as a Bandit Problem with Unbounded Losses
By Matteo Gagliolo, Juergen Schmidhuber · ArXiv: 0807.1494
2013-01-31
0
Quantum Query Complexity of Multilinear Identity Testing
By ** 논문의 저자는 본문에 명시되지 않았으나, 인용된 주요 선행 연구(예: Magniez, Nayak · ArXiv: 0807.1412
2008-07-10
0
Communication over Finite-Field Matrix Channels
By Danilo Silva, Frank R. Kschischang, Ralf K"otter · ArXiv: 0807.1372
2019-05-07
0
Satisfiability of Almost Disjoint CNF Formulas
By Dominik Scheder · ArXiv: 0807.1282
2008-07-10
0
Randomized greedy algorithms for independent sets and matchings in regular graphs: Exact results and finite girth corrections
By David Gamarnik, David Goldberg · ArXiv: 0807.1277
2008-07-09
0
Optimal Direct Sum and Privacy Trade-off Results for Quantum and Classical Communication Complexity
By Rahul Jain, Pranab Sen, Jaikumar Radhakrishnan · ArXiv: 0807.1267
2008-07-09
0
A Counterexample Guided Abstraction-Refinement Framework for Markov Decision Processes
By Rohit Chadha, Mahesh Viswanthan · ArXiv: 0807.1173
2008-07-09
0
Timed Parity Games: Complexity and Robustness
By Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak Prabhu · ArXiv: 0807.1165
2008-07-09
0
Measurement and Evaluation of ENUM Server Performance
By Charles Shen, Henning Schulzrinne · ArXiv: 0807.1162
2008-07-09
0
Path Gain Algebraic Formulation for the Scalar Linear Network Coding Problem
By Abhay T. Subramanian, Andrew Thangaraj · ArXiv: 0807.1158
2016-11-17
0
Algorithms for Secretary Problems on Graphs and Hypergraphs
By Nitish Korula, Martin Pal · ArXiv: 0807.1139
2008-07-09
0
A General Framework for Sound and Complete Floyd-Hoare Logics
By Rob Arthan, Ursula Martin, Erik A. Mathiesen · ArXiv: 0807.1016
2013-05-09
0
Catching Up Faster by Switching Sooner: A Prequential Solution to the AIC-BIC Dilemma
By Tim van Erven, Peter Grunwald, Steven de Rooij · ArXiv: 0807.1005
2008-09-17
1
Secrecy via Sources and Channels
By Vinod M. Prabhakaran, Krishnan Eswaran, Kannan Ramch · ArXiv: 0807.0942
2016-11-15
0
Bloomier Filters: A second look
By Denis Charles, Kumar Chellapilla · ArXiv: 0807.0928
2008-07-08
0
The Correspondence Analysis Platform for Uncovering Deep Structure in Data and Information
By ** - **Fionn Murtagh** – Science Foundation Irel, (Dublin, Irel · ArXiv: 0807.0908
2011-01-11
0
«« « 1817 1818 1819 1820 1821 1822 1823 1824 1825 1826 » »»