default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, August 2005
- Xiaoyang Gu, Jack H. Lutz, Philippe Moser:
Dimensions of Copeland-Erdos Sequences. - Gilson A. Giraldi, Luis C. da Costa, Adilson V. Xavier, Paulo Sergio Rodrigues:
Methods for Analytical Understanding of Agent-Based Modeling of Complex Systems. - Javier Esparza, Antonín Kucera, Richard Mayr:
Model Checking Probabilistic Pushdown Automata. - Lee Naish:
A three-valued semantics for logic programmers. - Nikolaos Papanikolaou:
Logic Column 13: Reasoning Formally about Quantum Systems: An Overview. - Sándor P. Fekete, Michael Kaufmann, Alexander Kröller, Katharina Anna Lehmann:
A New Approach for Boundary Recognition in Geometric Sensor Networks. - Manfred Harringer:
Regularity of Position Sequences. - Kentaro Kondo:
The accurate optimal-success/error-rate calculations applied to the realizations of the reliable and short-period integer ambiguity resolution in carrier-phase GPS/GNSS positioning. - Wei-jen Hsu, Ahmed Helmy:
IMPACT: Investigation of Mobile-user Patterns Across University Campuses using WLAN Trace Analysis. - Yongjin Kim, Ahmed Helmy:
ATTENTION: ATTackEr traceback using MAC layer abNormality detecTION. - Kazuto Ogawa, Goichiro Hanaoka, Hideki Imai:
A Secure Traitor Tracing Scheme against Key Exposure. - Jan Østergaard, Richard Heusdens, Jesper Jensen:
n-Channel Asymmetric Multiple-Description Lattice Vector Quantization. - Kenji Yasunaga, Toru Fujiwara:
Relations between the Local Weight Distributions of a Linear Block Code, Its Extended Code, and Its Even Weight Subcode. - Jon Feldman, Ralf Koetter, Pascal O. Vontobel:
The Benefit of Thresholding in LP Decoding of LDPC Codes. - Stanislav Bulygin:
Chosen-ciphertext attack on noncommutative Polly Cracker. - Jang-Won Lee, Mung Chiang, A. Robert Calderbank:
Distributed Algorithms for Optimal Rate-Reliability Tradeoff in Networks. - Jovan Pehcevski, James A. Thom, Anne-Marie Vercoustre:
Enhancing Content-And-Structure Information Retrieval using a Native XML Database. - Holger Boche, Volker Pohl:
Spectral Factorization, Whitening- and Estimation Filter -- Stability, Smoothness Properties and FIR Approximation Behavior. - Pascal O. Vontobel, Roxana Smarandache, Negar Kiyavash, Jason Teutsch, Dejan Vukobratovic:
On the Minimal Pseudo-Codewords of Codes from Finite Geometries. - Chris T. K. Ng, Andrea J. Goldsmith:
Capacity Gain from Transmitter and Receiver Cooperation. - Dmitri V. Krioukov, Kimberly C. Claffy
:
Toward Compact Interdomain Routing. - Andrew Z. Tirkel, Thomas E. Hall:
Matrix Construction Using Cyclic Shifts of a Column. - Todd L. Veldhuizen:
Software Libraries and Their Reuse: Entropy, Kolmogorov Complexity, and Zipf's Law. - Kai-Uwe Schmidt, Adolf Finger:
New Codes for OFDM with Low PMEPR. - Sándor Györi:
Signature coding for OR channel with asynchronous access. - Kai-Uwe Schmidt, Adolf Finger:
Simple Maximum-Likelihood Decoding of Generalized First-order Reed-Muller Codes. - Justin Dauwels, Sascha Korl, Hans-Andrea Loeliger:
Expectation maximization as message passing. - Fang Wu, Zi Zhang, Bernardo A. Huberman:
Truth-telling Reservations. - Johannes J. Schneider, Scott Kirkpatrick:
Selfish vs. Unselfish Optimization of Network Creation. - Michael Lentmaier, Arvind Sridharan, Kamil Sh. Zigangirov, Daniel J. Costello Jr.:
Terminated LDPC Convolutional Codes with Thresholds Close to Capacity. - Jon T. Yard, Igor Devetak, Patrick M. Hayden:
Capacity Theorems for Quantum Multiple Access Channels. - Derek Messie, Jae C. Oh:
Polymorphic Self-* Agents for Stigmergic Fault Mitigation in Large-Scale Real-Time Embedded Systems. - Priya Mahadevan, Dmitri V. Krioukov, Marina Fomenkov, Bradley Huffaker, Xenofontas A. Dimitropoulos, Kimberly C. Claffy, Amin Vahdat:
Lessons from Three Views of the Internet Topology. - Erdal Arikan:
Channel combining and splitting for cutoff rate improvement. - Irina Naydenova, Torleiv Kløve:
Codes for error detection, good or not good. - Thierry Despeyroux, Yves Lechevallier, Brigitte Trousse, Anne-Marie Vercoustre:
Expériences de classification d'une collection de documents XML de structure homogène. - Vamsi Kalapala, Cris Moore:
The Phase Transition in Exact Cover. - John Robert Burger:
Quantum Algorithm Processor For Finding Exact Divisors. - Soheil Mohajer, Payam Pakzad, Ali Kakhbod:
Tight Bounds on the Redundancy of Huffman Codes. - Daniel C. Cunha, Jaime Portugheis:
Bounds on the Capacity of the Blockwise Noncoherent APSK-AWGN Channels. - Mike Tian-Jian Jiang, Deng Liu, Kang-min Liu, Weizhong Yang, Pek-tiong Tan, Meng-Juei Hsieh, Tsung-Hsiang Chang, Wen-Lien Hsu:
OpenVanilla - A Non-Intrusive Plug-In Framework of Text Services. - (Withdrawn) OpenVanilla - A Non-Intrusive Plug-In Framework of Text Services.
- Marcus Hutter:
Sequential Predictions based on Algorithmic Complexity. - Sanjit A. Seshia, Randal E. Bryant:
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds. - Christoph Albrecht, Andrew B. Kahng, Ion I. Mandoiu, Alexander Zelikovsky:
Multicommodity Flow Algorithms for Buffered Global Routing. - Panu Chaichanavong, Paul H. Siegel:
Relaxation Bounds on the Minimum Pseudo-Weight of Linear Block Codes. - Desmond S. Lun, Muriel Médard, Ralf Koetter, Michelle Effros:
Further Results on Coding for Reliable Communication over Packet Networks. - Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy:
An Operational Foundation for Delimited Continuations in the CPS Hierarchy. - Ralf Koetter, Wen-Ching W. Li, Pascal O. Vontobel, Judy L. Walker:
Characterizations of Pseudo-Codewords of LDPC Codes. - Thomas M. Cover, Mung Chiang:
Duality between channel capacity and rate distortion with two-sided state information. - Jan Mietzner, Sabah Badri-Hoeher, Ingmar Land, Peter A. Hoeher:
Trellis-Based Equalization for Sparse ISI Channels Revisited. - Pierre Leone, Olivier Powell, José D. P. Rolim:
Energy Optimal Data Propagation in Wireless Sensor Networks. - Peter D. Turney:
Measuring Semantic Similarity by Latent Relational Analysis. - Yaron Rachlin, Rohit Negi, Pradeep K. Khosla:
Sensing Capacity for Markov Random Fields. - Olgica Milenkovic, Navin Kashyap:
DNA Codes that Avoid Secondary Structures. - Michael Stay:
Very Simple Chaitin Machines for Concrete AIT. - Miguel R. D. Rodrigues, Ioannis Chatzigeorgiou, Ian J. Wassell, Rolando A. Carrasco:
On the Performance of Turbo Codes in Quasi-Static Fading Channels. - Hervé Jégou, Christine Guillemot:
Entropy coding with Variable Length Re-writing Systems. - Arindam Mitra:
Quantum mechanics allows zero-bias. - George M. Gemelos, Styrmir Sigurjonsson, Tsachy Weissman:
Algorithms for Discrete Denoising Under Channel Uncertainty. - Laksana Tri Handoko:
SciBlog : A Tool for Scientific Collaboration. - Alexei E. Ashikhmin, Vitaly Skachek:
Decoding of Expander Codes at Rates Close to Capacity. - Michel R. Dagenais:
Disks, Partitions, Volumes and RAID Performance with the Linux Operating System. - Massimiliano Siti, Michael P. Fitz:
Layered Orthogonal Lattice Detector for Two Transmit Antenna Communications. - Jeroen Bekaert, Herbert Van de Sompel:
Representing Digital Assets using MPEG-21 Digital Item Declaration. - Silvia Filippini-Fantoni, Jonathan P. Bowen:
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara. - Teresa Numerico, Jonathan P. Bowen:
Copyright and Promotion: Oxymoron or Opportunity? - Martin J. Wainwright, Elitza N. Maneva:
Lossy source encoding via message-passing and decimation over generalized codewords of LDGM codes. - Martin Ziegler:
Real Hypercomputation and Continuity. - Martin J. Wainwright, Tommi S. Jaakkola, Alan S. Willsky:
MAP estimation via agreement on (hyper)trees: Message-passing and linear programming. - Ryan O'Donnell, Michael E. Saks, Oded Schramm, Rocco A. Servedio:
Every decision tree has an influential variable. - Igal Sason, Gil Wiechman:
On Achievable Rates and Complexity of LDPC Codes for Parallel Channels with Application to Puncturing. - Jan Poland, Marcus Hutter:
Universal Learning of Repeated Matrix Games. - James P. Mammen, Devavrat Shah:
Throughput and Delay in Random Wireless Networks with Restricted Mobility. - Russell K. Standish:
Complexity of Networks. - Lawrence Ong, Mehul Motani:
Myopic Coding in Multiple Relay Channels. - Frédérique E. Oggier, Emmanuel Lequeu:
Families of unitary matrices achieving full diversity. - Alexander Serebrenik, Susana Muñoz-Hernández:
Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain. - Nithin Nagaraj, Vivek Vaidya, Prabhakar G. Vaidya:
Re-visiting the One-Time Pad. - Kirti Chawla:
A 3D RGB Axis-based Color-oriented Cryptography. - Kirti Chawla:
ZEUS - A Domain-Oriented Fact Comparison Based Authentication Protocol. - Scott A. Golder, Bernardo A. Huberman:
The Structure of Collaborative Tagging Systems. - Michael B. Baer:
A General Framework for Codes Involving Redundancy Minimization. - Michael B. Baer:
Source Coding for Quasiarithmetic Penalties. - Moshe Schwartz, Paul H. Siegel, Alexander Vardy:
On the Asymptotic Performance of Iterative Decoders for Product Codes. - Dragos Trinca:
High-performance BWT-based Encoders. - Dragos Trinca:
Modelling the Eulerian Path Problem using a String Matching Framework. - Dragos Trinca:
Special Cases of Encodings by Generalized Adaptive Codes. - Dragos Trinca:
Modelling the EAH Data Compression Algorithm using Graph Theory. - Dragos Trinca:
Translating the EAH Data Compression Algorithm into Automata Theory. - Susana Muñoz-Hernández, Claudio Vaucheret:
Extending Prolog with Incomplete Fuzzy Information. - Stergos D. Afantenos, Vangelis Karkaletsis, Panagiotis Stamatopoulos:
Summarizing Reports on Evolving Events; Part I: Linear Evolution. - Dana Porrat, Urbashi Mitra:
Performance of PPM Multipath Synchronization in the Limit of Large Bandwidth. - Kai Chen, Hoi-Kwong Lo:
Conference Key Agreement and Quantum Sharing of Classical Secrets with Noisy GHZ States. - Rohit Negi, Arjunan Rajeswaran:
Capacity of Ultra Wide Band Wireless Ad Hoc Networks. - Styrmir Sigurjonsson, Young-Han Kim:
On Multiple User Channels with Causal State Information at the Transmitters. - Devavrat Shah:
Max Product for Max-Weight Independent Set and Matching. - Pascal O. Vontobel, Ashwin Ganesan:
An Explicit Construction of Universally Decodable Matrices. - Dragana Bajic, Cedomir Stefanovic, Dejan Vukobratovic:
Search Process and Probabilistic Bifix Approach. - Alessandro Provetti:
A primer on Answer Set Programming. - Mohsen Bayati, Devavrat Shah, Mayank Sharma:
Maximum Weight Matching via Max-Product Belief Propagation. - Emily Stone, Suhail Ahmed, Abe Askari, Hong Tat:
Investigations of Process Damping Forces in Metal Cutting. - Peter D. Turney, Michael L. Littman:
Corpus-based Learning of Analogies and Semantic Relations. - Kathy J. Horadam:
A Generalised Hadamard Transform. - Ludovic Langevine, Mireille Ducassé:
A Tracer Driver for Versatile Dynamic Analyses of Constraint Logic Programs. - Étienne Payet, Frédéric Mesnard:
An Improved Non-Termination Criterion for Binary Constraint Logic Programs. - Beniamin Mounits, Tuvi Etzion, Simon Litsyn:
New Upper Bounds on A(n,d). - Tristan Denmat, Arnaud Gotlieb, Mireille Ducassé:
Proving or Disproving likely Invariants with Constraint Reasoning. - William Heaven, Alessandra Russo:
Enhancing the Alloy Analyzer with Patterns of Analysis. - Ali Bagherzandi, Kooshiar Azimian, Javad Mohajeri, Mahmoud Salmasizadeh:
Relations between semantic security and indistinguishability against cpa, non-adaptive cca and adaptive cca in comparison based framework. - Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs. - Claude-Pierre Jeannerod, Gilles Villard:
Asymptotically fast polynomial matrix algorithms for multivariable systems. - Xiangyong Zeng, Lei Hu, Qingchong Liu:
A Family of Binary Sequences with Optimal Correlation Property and Large Linear Span. - Xiangyong Zeng, Lei Hu, Qingchong Liu:
New Sequence Sets with Zero-Correlation Zone. - John Robert Burger:
Quantum Algorithm Processors to Reveal Hamiltonian Cycles. - Xi Shen, Philippe De Wilde:
Long-term neuronal behavior caused by two synaptic modification mechanisms. - Soumya Jana:
Unified Theory of Source Coding: Part I -- Two Terminal Problems. - Soumya Jana:
Unified Theory of Source Coding: Part II -- Multiterminal Problems. - Gennady P. Berman, Vyacheslav N. Gorshkov, Edward P. MacKerrow, Xidi Wang:
Iterative Algorithm for Finding Frequent Patterns in Transactional Databases. - Wenyi Zhang, J. Nicholas Laneman:
How Good is Phase-Shift Keying for Peak-Limited Rayleigh Fading Channels in the Low-SNR Regime? - Sudipto Guha, Andrew McGregor, Suresh Venkatasubramanian:
Streaming and Sublinear Approximation of Entropy and Information Distances. - Bruno Marnette, Viktor Kuncak, Martin C. Rinard:
On Algorithms and Complexity for Sets with Cardinality Constraints. - Payam Pakzad, Christina Fragouli, Amin Shokrollahi:
Coding Schemes for Line Networks. - Sheng Bao, De-Shun Zheng:
A Sorting Algorithm Based on Calculation. - Christophe Laot, Nicolas Le Josse:
A Closed-Form Solution for the Finite Length Constant Modulus Receiver. - Jacob Ziv, Neri Merhav:
On context-tree prediction of individual sequences. - Dmitry Zinoviev:
Mapping DEVS Models onto UML Models. - Esra Erdem, Vladimir Lifschitz, Donald Ringe:
Temporal Phylogenetic Networks and Logic Programming. - Mary Baker, Mehul A. Shah, David S. H. Rosenthal, Mema Roussopoulos, Petros Maniatis, Thomas J. Giuli, Prashanth P. Bungale:
A Fresh Look at the Reliability of Long-term Digital Storage. - Vygintas Gontis, Bronislovas Kaulakys, Julius Ruseckas:
Point Process Models of 1/f Noise and Internet Traffic. - Tran Cao Son, Enrico Pontelli:
Planning with Preferences using Logic Programming. - Boaz Tsaban:
Decompositions of graphs of functions and efficient iterations of lookup tables. - Christophe Deroulers, Rémi Monasson:
Criticality and Universality in the Unit-Propagation Search Rule. - Yaniv S. Avizrats, Joshua Feinberg, Shmuel Fishman:
A Universal Scaling Theory for Complexity of Analog Computation. - Alessandro Pelizzola:
Cluster Variation Method in Statistical Physics and Probabilistic Graphical Models. - Howard Kleiman:
The Symmetric Traveling Salesman Problem. - Ronald Ortner:
Combinations and Mixtures of Optimal Policies in Unichain Markov Decision Processes are Optimal. - Ronald Ortner:
Embeddability of Arrangements of Pseudocircles into the Sphere.