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. - James Demmel, Ioana Dumitriu, Olga Holtz:
Toward accurate polynomial evaluation in rounded arithmetic. - Anatoli Manita, François Simonot:
On the cascade rollback synchronization. - David Chavalarias:
Metamimetic Games : Modeling Metadynamics in Social Cognition. - Avanti Ketkar, Andreas Klappenecker, Santosh Kumar, Pradeep Kiran Sarvepalli:
Nonbinary stabilizer codes over finite fields. - Marie Lalire:
A probabilistic branching bisimulation for quantum processes. - Roger Colbeck, Adrian Kent:
Variable Bias Coin Tossing. - Andris Ambainis:
A new quantum lower bound method, with an application to strong direct product theorem for quantum search. - Stephanie Wehner:
Entanglement in Interactive Proof Systems with Binary Answers. - Ivan Damgård, Serge Fehr, Louis Salvail, Christian Schaffner:
Cryptography In the Bounded Quantum-Storage Model. - Pavel Chebotarev, Rafig Agaev:
Matrices of Forests and the Analysis of Digraphs. - Pavel Chebotarev, Elena Shamis:
On a Duality between Metrics and Σ-Proximities. - Pavel Chebotarev:
Extending Utility Representations of Partial Orders. - Yuri N. Kosovtsov:
Finding Liouvillian first integrals of rational ODEs of any order in finite terms. - Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
A study of set-sharing analysis via cliques.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-26 23:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
