default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCoRR, January 2007
- Ashutosh Deepak Gore, Srikanth Jagabathula, Abhay Karandikar:
On High Spatial Reuse Link Scheduling in STDMA Wireless Ad Hoc Networks. - Semih Serbetli, Aylin Yener:
Relay Assisted F/TDMA Ad Hoc Networks: Node Classification, Power Allocation and Relaying Strategies. - Jens Christian Claussen:
Magnification Laws of Winner-Relaxing and Winner-Enhancing Kohonen Feature Maps. - Sumit Ganguly:
An algebraic approach to complexity of data stream computations. - Christian Tanguy:
Exact solutions for the two- and all-terminal reliabilities of the Brecht-Colbourn ladder and the generalized fan. - Stefan Laendner, Thorsten Hehn, Olgica Milenkovic, Johannes B. Huber:
Two Methods for Reducing the Error-Floor of LDPC Codes. - Hamed Hatami, Ruzbeh Tusserkani:
On the Complexity of the Circular Chromatic Number. - Hamed Hatami, Hossein Maserrat:
On the Computational Complexity of Defining Sets. - Peyman Afshani, Hamed Hatami:
Approximation and Inapproximability Results for Maximum Clique of Disc Graphs in High Dimensions. - Ahmed Samy Sidky, James D. Arthur:
Determining the Applicability of Agile Practices to Mission and Life-critical Systems. - Michael B. Baer:
Infinite-Alphabet Prefix Codes Optimal for beta-Exponential Penalties. - Michael B. Baer:
D-ary Bounded-Length Huffman Coding. - Zengyou He, Xiaofei Xu, Shengchun Deng:
Attribute Value Weighting in K-Modes Clustering. - Moustapha Diaby:
A Reply to Hofman On: "Why LP cannot solve large instances of NP-complete problems in polynomial time". - Pierre Sens, Luciana Bezerra Arantes, Mathieu Bouillaguet:
Asynchronous Implementation of Failure Detectors with partial connectivity and unknown participants. - Oded Kafri:
The Second Law and Informatics. - Giacomo Bacci, Marco Luise, H. Vincent Poor, Antonia M. Tulino:
Energy-Efficient Power Control in Impulse Radio UWB Wireless Networks. - Andrew Duggan, Alexander Barg:
Performance Analysis of Algebraic Soft-Decision Decoding of Reed-Solomon Codes. - Tan F. Wong, Tat M. Lok, John M. Shea:
Flow-optimized Cooperative Transmission for the Relay Channel. - (Withdrawn) A nearly optimal and deterministic summary structure for update data streams.
- (Withdrawn) The Unix KISS: A Case Study.
- Mateusz Zakrzewski:
Definable functions in the simply typed lambda-calculus. - Sergey Gubin:
A Polynomial Time Algorithm for 3-SAT. - Yingbin Liang, H. Vincent Poor, Shlomo Shamai:
Secure Communication over Fading Channels. - Øyvind Ryan, Mérouane Debbah:
Free deconvolution for signal processing applications. - Po-Ning Chen, Yunghsiang S. Han, Carlos R. P. Hartmann, Hong-Bin Wu:
Analysis of Sequential Decoding Complexity Using the Berry-Esseen Inequality. - Hari Palaiyanur, Cheng Chang, Anant Sahai:
The source coding game with a cheating switcher. - Juan P. Herrera, Pedro A. Pury:
Statistical keyword detection in literary corpora. - Dariusz Kusmierek:
The Inhabitation Problem for Rank Two Intersection Types. - Eric Zhi Chen:
New Constructions of a Family of 2-Generator Quasi-Cyclic Two-Weight Codes and Related Codes. - Frédéric Blanqui, Thérèse Hardin, Pierre Weis:
On the implementation of construction functions for non-free concrete data types. - Guillaume Bonfante, Yves Guiraud:
Programs as polygraphs: computability and complexity. - Blake Hegerle:
A Counterexample to a Proposed Proof of P=NP by S. Gubin. - Giacomo Bacci, Marco Luise, H. Vincent Poor:
Performance of Rake Receivers in IR-UWB Networks Using Energy-Efficient Power Control. - Edwin A. Henneken, Michael J. Kurtz
, Günther Eichhorn, Alberto Accomazzi, Carolyn Stern-Grant, Donna M. Thompson, Elizabeth Bohlen, Stephen S. Murray:
Finding Astronomical Communities Through Co-readership Analysis. - Boris Ryabko:
Compression-based methods for nonparametric density estimation, on-line prediction, regression and classification for time series. - Jason Ansel, Michael Rieker, Gene Cooperman:
User-Level Socket-Based Checkpointing for Distributed and Parallel Computation. - Peter Jung:
Approximate Eigenstructure of LTV Channels with Compactly Supported Spreading. - Ian Pratt-Hartmann:
On the Complexity of the Numerically Definite Syllogistic and Related Fragments. - Fumin Zhang:
Curve Tracking Control for Legged Locomotion in Horizontal Plane. - Young-Han Kim:
A Coding Theorem for a Class of Stationary Channels with Feedback. - Amos Lapidoth, Stephan Tinguely:
Sending a Bivariate Gaussian Source over a Gaussian MAC with Feedback. - Urs Niesen, Devavrat Shah, Gregory W. Wornell:
Adaptive Alternating Minimization Algorithms. - Sunder Lal, Tej Singh:
New ID Based Multi-Proxy Multi-Signcryption Scheme from Pairings. - Iosif Pinelis:
Polygon Convexity: Another O(n) Test. - Andrea G. Forte, Henning Schulzrinne:
Cooperation Between Stations in Wireless Networks. - Lukasz Debowski:
On vocabulary size of grammar-based codes. - Samar Agnihotri, Pavan Nuggehalli:
Energy Conscious Interactive Communication for Sensor Networks. - Barnaby Martin:
On the Complexity of a Derivative Chess Problem. - Olivier Rioul:
A Simple Proof of the Entropy-Power Inequality via Properties of Mutual Information. - Samar Agnihotri, Pavan Nuggehalli:
Coding, Scheduling, and Cooperation in Wireless Sensor Networks. - Geoffroy Simon, Amaury Lendasse, Marie Cottrell, Jean-Claude Fort, Michel Verleysen:
Time Series Forecasting: Obtaining Long Term Trends with Self-Organizing Maps. - Deqiang Chen, Kambiz Azarian, J. Nicholas Laneman:
A Case For Amplify-Forward Relaying in the Block-Fading Multi-Access Channel. - Nathan Segerlind:
Nearly-Exponential Size Lower Bounds for Symbolic Quantifier Elimination Algorithms and OBDD-Based Proofs of Unsatisfiability. - Leif Hanlen, Thushara D. Abhayapala:
Bounds on Space-Time-Frequency Dimensionality. - Leif Hanlen, Thushara D. Abhayapala:
Space-Time-Frequency Degrees of Freedom: Fundamental Limits for Spatial Information. - Xiaofei Huang:
Cooperative Optimization for Energy Minimization: A Case Study of Stereo Matching. - Amin Mobasher, Amir K. Khandani:
Precoding in Multiple-Antenna Broadcast Systems with a Probabilistic Viewpoint. - Samar Agnihotri, Pavan Nuggehalli:
Enhancing Sensor Network Lifetime Using Interactive Communication. - Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli:
Duadic Group Algebra Codes. - Jia Liu, Y. Thomas Hou, Hanif D. Sherali:
Conjugate Gradient Projection Approach for Multi-Antenna Gaussian Broadcast Channels. - Sichao Yang, Ralf Koetter:
Network Coding over a Noisy Relay : a Belief Propagation Approach. - Keigo Takeuchi, Toshiyuki Tanaka:
Hierarchical Decoupling Principle of a MIMO-CDMA Channel in Asymptotic Limits. - Kai Engelhardt, Yoram Moses:
Causing Communication Closure: Safe Program Composition with Reliable Non-FIFO Channels. - Ioannis Chatzigeorgiou, Miguel R. D. Rodrigues, Ian J. Wassell, Rolando A. Carrasco:
Can Punctured Rate-1/2 Turbo Codes Achieve a Lower Error Floor than their Rate-1/3 Parent Codes? - Lucile Sassatelli, David Declercq:
Non-binary Hybrid LDPC Codes: Structure, Decoding and Optimization. - G. Susinder Rajan, Anshoo Tandon, B. Sundar Rajan:
On Four-group ML Decodable Distributed Space Time Codes for Cooperative Communication. - G. Susinder Rajan, B. Sundar Rajan:
Distributed Space-Time Codes for Cooperative Networks with Partial CSI. - Frédéric Didier, Yann Laigle-Chapuy:
Finding low-weight polynomial multiples using discrete logarithm. - Daniel Augot, Magali Bardet, Jean-Charles Faugère:
On formulas for decoding binary cyclic codes. - Nikolaos Laoutaris, Rajmohan Rajaraman, Ravi Sundaram, Shang-Hua Teng:
A bounded-degree network formation game. - Jakob Voss:
Tagging, Folksonomy & Co - Renaissance of Manual Indexing? - Jeremy Avigad, Kevin Donnelly:
A decision procedure for linear "big O" equations. - Jerome K. Vanclay:
On the robustness of the h-index. - Toshiya Takami, Jun Maki, Jun-ichi Ooba, Yuichi Inadomi, Hiroaki Honda, Taizo Kobayashi, Rie Nogita, Mutsumi Aoyagi:
Open-architecture Implementation of Fragment Molecular Orbital Method for Peta-scale Computing. - Norman Danner, James S. Royer:
Time-complexity semantics for feasible affine recursions (extended abstract). - Karl J. Obermeyer, Anurag Ganguli, Francesco Bullo:
Asynchronous Distributed Searchlight Scheduling. - Vignesh Sethuraman, Ligong Wang, Bruce E. Hajek, Amos Lapidoth:
Low SNR Capacity of Fading Channels -- MIMO and Delay Spread. - Yuriy A. Reznik:
Practical Binary Adaptive Block Coder. - Shin-Lin Shieh, Po-Ning Chen, Yunghsiang S. Han:
Analysis of the Sufficient Path Elimination Window for the Maximum-Likelihood Sequential-Search Decoding Algorithm for Binary Convolutional Codes. - Alexander Serebrenik, Wim Vanhoof:
Fingerprinting Logic Programs. - Frédéric Mesnard, Alexander Serebrenik:
Recurrence with affine level mappings is P-time decidable for CLP(R). - Georg Gottlob, Marko Samer:
A Backtracking-Based Algorithm for Computing Hypertree-Decompositions. - Michael Chertkov, Mikhail G. Stepanov:
Pseudo-codeword Landscape. - James Harold Thomas:
Variations on the Fibonacci Universal Code. - Vladimir Y. Chernyak, Michael Chertkov:
Loop Calculus and Belief Propagation for q-ary Alphabet: Loop Tower. - Jean-Philippe Rennard:
Artificiality in Social Sciences. - Frederick C. Furtek:
A Theory and Calculus for Reasoning about Sequential Behavior. - Laurent Bienvenu, David Doty, Frank Stephan:
Constructive Dimension and Weak Truth-Table Degrees. - Martin Mittelbach, Christian Müller, Konrad Schubert:
Ergodic Capacity of Discrete- and Continuous-Time, Frequency-Selective Rayleigh Fading Channels with Correlated Scattering. - Valentin Savin:
Iterative LDPC decoding using neighborhood reliabilities. - Natasha Devroye, Masoud Sharif:
The Multiplexing Gain of MIMO X-Channels with Partial Transmit Side-Information. - Masoud Ebrahimi, Mohammad Ali Maddah-Ali, Amir K. Khandani:
Throughput Scaling Laws for Wireless Networks with Fading Channels. - François Ingelrest, David Simplot-Ryl:
Maximizing the Probability of Delivery of Multipoint Relay Broadcast Protocol in Wireless Ad Hoc Networks with a Realistic Physical Layer. - Pedro Cabalar, Paolo Ferraris:
Propositional theories are strongly equivalent to logic programs. - Maurice Margenstern:
About the domino problem in the hyperbolic plane, a new solution. - Maximilien Gadouleau, Zhiyuan Yan:
MacWilliams Identity for the Rank Metric. - Maximilien Gadouleau, Zhiyuan Yan:
Packing and Covering Properties of Rank Metric Codes. - Shaohua Yang, Aleksandar Kavcic, Sekhar Tatikonda:
On the Feedback Capacity of Power Constrained Gaussian Noise Channels with Memory. - Shaohua Yang, Aleksandar Kavcic:
Delayed Feedback Capacity of Stationary Sources over Linear Gaussian Noise Channels. - Philip M. Davis:
Citation advantage of Open Access articles likely explained by quality differential and media effects. - Davide Schipani, Joachim Rosenthal:
Coding Solutions for the Secure Biometric Storage Problem. - Auguste Venkiah, Charly Poulliat, David Declercq:
Analysis and design of raptor codes for joint decoding using Information Content evolution. - Philipp Mayr, Walther Umstätter:
Why is a new Journal of Informetrics needed? - Remko Tronçon, Gerda Janssens:
A Delta Debugger for ILP Query Execution. - Pierre Deransart:
On using Tracer Driver for External Dynamic Process Observation. - Hani Z. Girgis, Bharat Jayaraman:
JavaTA: A Logic-based Debugger for Java. - Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. - Siddharth Chitnis, Madhu Yennamani, Gopal Gupta:
ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet Paradigm. - Kim S. Henriksen, John P. Gallagher:
A Web-based Tool Combining Different Type Analyses. - Elvira Albert, Puri Arenas, Germán Puebla:
Some Issues on Incremental Abstraction-Carrying Code. - Axel Kohnert:
(l,s)-Extension of Linear Codes. - Thomas Colcombet:
On factorisation forests. - Ignacio Vega-Paez, Georgina G. Pulido, Jose Angel Ortega:
The problem determination of Functional Dependencies between attributes Relation Scheme in the Relational Data Model. El problema de determinar Dependencias Funcionales entre atributos en los esquemas en el Modelo Relacional. - Juan Julián Merelo Guervós, Antonio Mora García, Juan Luis Jiménez Laredo, Juan Lupión, Fernando Tricas:
Browser-based distributed evolutionary computation: performance and scaling behavior. - Chris T. K. Ng, Andrea J. Goldsmith:
The Impact of CSI and Power Allocation on Relay Channel Capacity and Cooperation Strategies. - Ambedkar Dukkipati:
Maximum Entropy in the framework of Algebraic Statistics: A First Step. - Mohammad Ali Maddah-Ali, Hajar Mahdavi-Doost, Amir K. Khandani:
Optimal Order of Decoding for Max-Min Fairness in K-User Memoryless Interference Channels. - Petr R. Ivankov, Nikolay P. Ivankov:
The framework for simulation of dynamics of mechanical aggregates. - Alexey V. Chernov, Marcus Hutter, Jürgen Schmidhuber:
Algorithmic Complexity Bounds on Future Prediction Errors. - Changhe Tu, Wenping Wang, Bernard Mourrain, Jiaye Wang:
Signature Sequence of Intersection Curve of Two Quadrics for Exact Morphological Classification. - Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems. - David Doty, Philippe Moser:
Feasible Depth. - Chunxuan Ye, Alex Reznik:
Group Secret Key Generation Algorithms. - Marcus Hutter:
Universal Algorithmic Intelligence: A mathematical top->down approach. - Allen Chuang, Albert Guillen i Fabregas, Lars K. Rasmussen, Iain B. Collings:
Optimal Throughput-Diversity-Delay Tradeoff in MIMO ARQ Block-Fading Channels. - Risi Kondor:
A complete set of rotationally and translationally invariant features for images. - M. V. Panduranga Rao:
Interference Automata. - Naresh Sharma, Pavan R. Pinnamraju, Constantinos B. Papadias:
Space-time codes with controllable ML decoding complexity for any number of transmit antennas. - Thomas C. Schmidt, Matthias Wählisch, Ying Zhang:
On the Correlation of Geographic and Network Proximity at Internet Edges and its Implications for Mobile Unicast and Multicast Routing. - JiaLiang Zhang, Soung Chang Liew:
Effective Beam Width of Directional Antennas in Wireless Ad Hoc Networks. - Eric Feron, Mardavij Roozbehani:
Certifying controls and systems software. - Athina Markopoulou, David R. Cheriton:
The Case for Redundant Arrays of Internet Links (RAIL). - Wenbing Zhao:
Byzantine Fault Tolerance for Nondeterministic Applications. - Jinyun Ke:
Complex networks and human language. - Chawki Hajjem, Stevan Harnad:
Citation Advantage For OA Self-Archiving Is Independent of Journal Impact Factor, Article Age, and Number of Co-Authors. - Chawki Hajjem, Stevan Harnad:
The Open Access Citation Advantage: Quality Advantage Or Quality Bias? - Véronique Bruyère, Jean-François Raskin:
Real-Time Model-Checking: Parameters everywhere. - Yishay Mor, Jeffrey S. Rosenschein:
Time and the Prisoner's Dilemma. - Corina S. Pasareanu, Radek Pelánek, Willem Visser:
Predicate Abstraction with Under-approximation Refinement. - Maarten H. van Emden, Belaid Moa:
The Fundamental Theorems of Interval Analysis. - Wolfgang W. Bein, Lawrence L. Larmore, Rüdiger Reischuk:
Knowledge State Algorithms: Randomization with Limited Information. - Xing M. Wang:
Dirac Notation, Fock Space and Riemann Metric Tensor in Information Retrieval Models. - Nicolai Kuntze, Andreas U. Schmidt:
Trusted Ticket Systems and Applications. - Nicolai Kuntze, Andreas U. Schmidt, Christian Hett:
Non-Repudiation in Internet Telephony. - Anand D. Sarwate, Michael Gastpar:
Deterministic list codes for state-constrained arbitrarily varying channels. - Michael Hanus:
A Generic Analysis Environment for Curry Programs. - Wim Vanhoof, Susana Muñoz-Hernández:
Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006). - Ozgur Oyman, Arogyaswami Paulraj:
Power-Bandwidth Tradeoff in Dense Multi-Antenna Relay Networks. - Luc Brun, Walter G. Kropatsch:
Contains and Inside relationships within combinatorial Pyramids. - Howard Cheng, Guillaume Hanrot, Emmanuel Thomé, Eugene V. Zima, Paul Zimmermann:
Time- and Space-Efficient Evaluation of Some Hypergeometric Constants. - Hajar Mahdavi-Doost, Masoud Ebrahimi, Amir K. Khandani:
Characterization of Rate Region in Interference Channels with Constrained Power. - Michal Forisek, Branislav Katreniak, Jana Katreniaková, Rastislav Kralovic, Richard Královic, Vladimír Koutný, Dana Pardubská, Tomas Plachetka, Branislav Rovan:
Online Bandwidth Allocation. - Pascal Tesson, Denis Thérien:
Logic Meets Algebra: the Case of Regular Languages. - Jim Gray, Surajit Chaudhuri, Adam Bosworth, Andrew Layman, Don Reichart, Murali Venkatrao, Frank Pellow, Hamid Pirahesh:
Data Cube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals. - Jim Gray:
Data Management: Past, Present, and Future. - Hal Berenson, Philip A. Bernstein, Jim Gray, Jim Melton, Elizabeth J. O'Neil, Patrick E. O'Neil:
A Critique of ANSI SQL Isolation Levels. - Jim Gray:
Queues Are Databases. - Gerd Heber, Jim Gray:
Supporting Finite Element Analysis with a Relational Database Backend, Part I: There is Life beyond Files. - Gerd Heber, Jim Gray:
Supporting Finite Element Analysis with a Relational Database Backend, Part II: Database Design and Access. - Jim Gray, Charles Levine:
Thousands of DebitCredit Transactions-Per-Second: Easy and Inexpensive. - Jim Gray:
A Measure of Transaction Processing 20 Years Later. - Jim Gray, Alexander S. Szalay, Gyorgy Fekete:
Using Table Valued Functions in SQL Server 2005 To Implement a Spatial Data Library. - Alexander S. Szalay, Jim Gray, George Fekete, Peter Z. Kunszt, Peter Kukol, Ani Thakar:
Indexing the Sphere with the Hierarchical Triangular Mesh. - Gordon Bell, Jim Gray, Alexander S. Szalay:
Petascale Computational Systems. - Jim Gray, Catharine van Ingen:
Empirical Measurements of Disk Failure Rates and Error Rates. - María A. Nieto-Santisteban, Aniruddha R. Thakar, Alexander S. Szalay, Jim Gray:
Large-Scale Query and XMatch, Entering the Parallel Zone. - Russell Sears, Catharine van Ingen, Jim Gray:
To BLOB or Not To BLOB: Large Object Storage in a Database or a Filesystem? - Michael Botros Shenouda, Timothy N. Davidson:
A Framework for Designing MIMO systems with Decision Feedback Equalization or Tomlinson-Harashima Precoding. - Katalin Szlavecz, Andreas Terzis, Stuart Ozer, Razvan Musaloiu-Elefteri, Joshua Cogan, Sam Small, Randal C. Burns, Jim Gray, Alexander S. Szalay:
Life Under Your Feet: An End-to-End Soil Ecology Sensor Network, Database, Web Server, and Analysis Service. - Jim Gray, María A. Nieto-Santisteban, Alexander S. Szalay:
The Zones Algorithm for Finding Points-Near-a-Point or Cross-Matching Spatial Datasets. - Jim Gray, Alexander S. Szalay, Tamas Budavari, Robert Lupton, María A. Nieto-Santisteban, Ani Thakar:
Cross-Matching Multiple Spatial Observations and Dealing with Missing Data. - Vik Singh, Jim Gray, Ani Thakar, Alexander S. Szalay, M. Jordan Raddick, Bill Boroski, Svetlana Lebedeva, Brian Yanny:
SkyServer Traffic Report - The First Five Years. - Thanasis Hadzilacos, Dimitrios Kalles, Dimitrios Koumanakos:
Using Course Constraints in Simulating Student Populations. - Thanasis Hadzilacos, Dimitrios Kalles, Maria Pouliopoulou:
On the Software and Knowledge Engineering Aspects of the Educational Process. - Alain Frisch, Haruo Hosoya:
Towards Practical Typechecking for Macro Tree Transducers. - Roudra Chakraborty, Debapriya Sengupta, Sagnik Sinha:
Pitch Tracking of Acoustic Signals based on Average Squared Mean Difference Function. - Erhan Baki Ermis, Venkatesh Saligrama:
Distributed Detection in Sensor Networks with Limited Range Sensors. - Yoann Dieudonné, Franck Petit:
Scatter of Weak Robots. - Fionn Murtagh, Josiane Mothe, Kurt Englmeier:
Ontology from Local Hierarchical Structure in Text. - Fionn Murtagh:
A Note on Local Ultrametricity in Text. - Marat V. Burnashev:
Supplement to: Code Spectrum and Reliability Function: Binary Symmetric Channel. - Gilles Villard:
Certification of the QR factor R, and of lattice basis reducedness. - Jörg Hoffmann, Carla P. Gomes, Bart Selman:
Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning. - Frank Gurski:
Graph Operations on Clique-Width Bounded Graphs. - Marc Daumas, Guillaume Melquiond:
Certification of bounds on expressions involving rounded operators. - Sagar Chaki, Christian Schallhart, Helmut Veith:
Verification Across Intellectual Property Boundaries. - Wayne Eberly, Mark Giesbrecht, Pascal Giorgi, Arne Storjohann, Gilles Villard:
Faster Inversion and Other Black Box Matrix Computations Using Efficient Block Projections. - Fredrik Manne, Morten Mjelde, Laurence Pilard, Sébastien Tixeuil:
A New Self-Stabilizing Maximal Matching Algorithm. - Thomas Jacobs, Aaron Harwood:
A Peer-to-Peer Browsable File Index using a Popularity Based Global Namespace. - David Monniaux:
The parallel implementation of the Astrée static analyzer. - David Monniaux:
The pitfalls of verifying floating-point computations. - Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A Static Analyzer for Large Safety-Critical Software. - Solomiya Buk, Andrij A. Rovenchak:
Menzerath-Altmann Law for Syntactic Structures in Ukrainian. - David Monniaux:
An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs. - Ye Wang, Prakash Ishwar, Venkatesh Saligrama:
One-bit Distributed Sensing and Coding for Field Estimation in Sensor Networks. - Nan Ma, Ye Wang, Prakash Ishwar:
Delayed Sequential Coding of Correlated Sources. - Raissa M. D'Souza, Christian Borgs, Jennifer T. Chayes, Noam Berger, Robert D. Kleinberg:
Fitting the WHOIS Internet data. - Stéphane Norte, Fernando G. Lobo:
A Virtual Logo Keyboard for People with Motor Disabilities. - Françoise Détienne:
Reasoning from a schema and from an analog in software code reuse. - R. C. Venkatesan:
Generalized Statistics Framework for Rate Distortion Theory with Bregman Divergences. - R. C. Venkatesan:
Statistical Cryptography using a Fisher-Schrödinger Model. - Branko J. Malesevic:
Some improvements of one method for proving inequalities by computer. - Shachar Lovett, Sasha Sodin:
Almost Euclidean sections of the N-dimensional cross-polytope using O(N) random bits. - Holger Rauhut, Karin Schnass, Pierre Vandergheynst:
Compressed Sensing and Redundant Dictionaries. - Eric de Bodt, Marie Cottrell, Patrick Letrémy, Michel Verleysen:
On the use of self-organizing maps to accelerate vector quantization. - Eric de Bodt, Marie Cottrell, Michel Verleysen:
Statistical tools to assess the reliability of self-organizing maps. - Riadh Kallel, Marie Cottrell, Vincent Vigneron:
Bootstrap for neural model selection. - Marie Cottrell, Patrick Letrémy:
Missing values : processing with the Kohonen algorithm. - Urs Niesen, Aslan Tchamkerten, Gregory W. Wornell:
Tracking Stopping Times. - Gábor Lugosi, Shie Mannor, Gilles Stoltz:
Strategies for prediction under imperfect monitoring. - Boris Ettinger, Niv Sarig, Yosef Yomdin:
Linear versus Non-linear Acquisition of Step-Functions. - Frédéric Dambreville:
Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T. - Jason Teutsch:
Noncomputable Spectral Sets. - Lokman I. Meho:
The Rise and Rise of Citation Analysis. - Guennadi A. Kouzaev:
Spatio-Temporal Electromagnetic Field Shapes and their Logical Processing. - Kikuo Yuta, Naoaki Ono, Yoshi Fujiwara:
A Gap in the Community-Size Distribution of a Large-Scale Social Networking Site. - Salah A. Aly, Andreas Klappenecker, Pradeep Kiran Sarvepalli:
Quantum Convolutional Codes Derived From Reed-Solomon and Reed-Muller Codes. - Daniel Lehmann:
A presentation of Quantum Logic based on an "and then" connective. - Romain Alléaume, Jan Bouda, Cyril Branciard, Thierry Debuisschert, Mehrdad Dianati, Nicolas Gisin, Mark Godfrey, Philippe Grangier, Thomas Länger, Anthony Leverrier, Norbert Lütkenhaus, Philippe Painchault, Momtchil Peev, Andreas Poppe, Thomas Pornin, John G. Rarity, Renato Renner, Gregoire Ribordy, Michel Riguidel, Louis Salvail, Andrew J. Shields, Harald Weinfurter, Anton Zeilinger:
SECOQC White Paper on Quantum Key Distribution and Cryptography. - Paola Zizzi:
Turning the Liar paradox into a metatheorem of Basic logic. - Bogdan Danila, Yong Yu, John A. Marsh, Kevin E. Bassler:
Transport optimization on complex networks. - Johannes Wollbold:
Attribute Exploration of Discrete Temporal Transitions. - Markus Jalsenius:
Strong Spatial Mixing and Rapid Mixing with Five Colours for the Kagome Lattice. - Manabu Hagiwara, Hideki Imai:
Quantum Quasi-Cyclic LDPC Codes. - Raymond Bisdorff, Jean-Luc Marichal:
Counting non-isomorphic maximal independent sets of the n-cycle graph.
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 2025-02-20 19:44 CET 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:
