CoRR, September 2006
Suzanne M. Shontz, Stephen A. Vavasis: A Robust Solution Procedure for Hyperelastic Solids with Large Boundary Deformation.- Frédéric Blanqui, Claude Kirchner, Colin Riba: On the confluence of lambda-calculus with conditional rewriting.
- Emanuel Diamant: In Quest of Image Semantics: Are We Looking for It Under the Right Lamppost?
- Moustapha Diaby: Equality of complexity classes P and NP: Linear programming formulation of the quadratic assignment problem.
- Moustapha Diaby: The traveling salesman problem: A Linear programming formulation of.
- Eric Zhi Chen: New Quasi-Cyclic Codes from Simplex Codes.
- Vladislav Malyshkin, Ray Bakhramov, Andrey Gorodetsky: A Massive Local Rules Search Approach to the Classification Problem.
- Stéphane Demri, Ranko Lazic, David Nowak: On the freeze quantifier in Constraint LTL: decidability and complexity.
- Virginia Vassilevska, Ryan Williams, Raphael Yuster: Finding heaviest H-subgraphs in real weighted graphs, with applications.
- Artur Rataj: An effective edge--directed frequency filter for removal of aliasing in upsampled images.
- K. C. V. Kalyanarama Sesha Sayee: Scheduling for Stable and Reliable Communication over Multiaccess Channels and Degraded Broadcast Channels.
- Philippe Moser: Baire Categories on Small Complexity Classes and Meager-Comeager Laws.
- Frédéric Blanqui, Colin Riba: Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems.
- Julien Reynier: A simple stability condition for RED using TCP mean-field modeling.
- Julien Carme, Rémi Gilleron, Aurélien Lemay, Alain Terlutte, Marc Tommasi: Residual Finite Tree Automata.
- Tomasz Ciszkowski, Zbigniew Kotulski: ANAP: Anonymous Authentication Protocol in Mobile Ad hoc Networks.
- Wolfgang Slany, Wolfgang Kienreich: On some winning strategies for the Iterated Prisoner's Dilemma or Mr. Nice Guy and the Cosa Nostra.
- Peyman Razaghi, Wei Yu: Bilayer Low-Density Parity-Check Codes for Decode-and-Forward in Relay Channels.
- Alin Bostan, Bruno Salvy, François Morain, Éric Schost: Fast algorithms for computing isogenies between elliptic curves.
- Pierre Boudes: Non uniform (hyper/multi)coherence spaces.
- Barnaby Martin: Dichotomies and Duality in First-order Model Checking Problems.
- Himanshu Thapliyal, M. B. Srinivas: Novel Reversible TSG Gate and Its Application for Designing Components of Primitive Reversible/Quantum ALU.
- Prashant: Linux, Open Source and Unicode.
- Prashant: A XML Schema Definition based Universal User Interface.
- Arnaud Legout, Guillaume Urvoy-Keller, Pietro Michiardi: Rarest First and Choke Algorithms Are Enough.
- Rajkumar Buyya, Al-Mukaddim Khan Pathan, James Broberg, Zahir Tari: A Case for Peering of Content Delivery Networks.
- Himanshu Thapliyal, M. B. Srinivas: VLSI Implementation of RSA Encryption System Using Ancient Indian Vedic Mathematics.
- Himanshu Thapliyal, Hamid R. Arabnia: Reversible Programmable Logic Array (RPLA) using Fredkin & Feynman Gates for Industrial Electronics and Applications.
- Kaibin Huang, Robert W. Heath Jr., Jeffrey G. Andrews: Space Division Multiple Access with a Sum Feedback Rate Constraint.
- Sumit Ganguly, Anirban Majumder: CR-precis: A deterministic summary structure for update data streams.
- Michael B. Dillencourt, David Eppstein, Michael T. Goodrich: Choosing Colors for Geometric Graphs via Color Space Embeddings.
- Marko A. Rodriguez: Social Decision Making with Multi-Relational Networks and Grammar-Based Particle Swarms.
- Joseph Y. Halpern, Vanessa Teague: Rational Secret Sharing and Multiparty Computation: Extended Abstract.
- Himanshu Thapliyal, Hamid R. Arabnia, M. B. Srinivas: Reduced Area Low Power High Throughput BCD Adders for IEEE 754r Format.
- Frédéric Blanqui: (HO)RPO Revisited.
- Bartlomiej Blaszczyszyn, Bozidar Radunovic: On Performance of Event-to-Sink Transport in Transmit-Only Sensor Networks.
- Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio: Higher-Order Termination: from Kruskal to Computability.
- Julien M. Hendrickx, Baris Fidan, Changbin Yu, Brian D. O. Anderson, Vincent D. Blondel: Primitive operations for the construction and reorganization of minimally persistent formations.
- Jacob Binia: On Divergence-Power Inequalities.
- Françoise Gayral, Daniel Kayser, François Lévy: Challenging the principle of compositionality in interpreting natural language texts.
- Vladimir Vovk: Metric entropy in competitive on-line prediction.
- Chih-Chun Wang, Sanjeev R. Kulkarni, H. Vincent Poor: Exhausting Error-Prone Patterns in LDPC Codes.
- S. M. Nazrul Alam, Zygmunt J. Haas: Topology Control and Network Lifetime in Three-Dimensional Wireless Sensor Networks.
- Pascal Weil: On the logical definability of certain graph and poset languages.
- Asaf Cohen, Neri Merhav, Tsachy Weissman: Scanning and Sequential Decision Making for Multi-Dimensional Data - Part I: the Noiseless Case.
- Gianfranco Cariolaro, Tomaso Erseghe, Nicola Laurenti: Exact Spectral Analysis of Single-h and Multi-h CPM Signals through PAM decomposition and Matrix Series Evaluation.
- Bruno Pouliquen, Ralf Steinberger, Camelia Ignat, Irina Temnikova, Anna Widiger, Wajdi Zaghouani, Jan Zizka: Multilingual person name recognition and transliteration.
- Frank Wolter, Michael Zakharyaschev: Undecidability of the unification and admissibility problems for modal and description logics.
- Ralf Steinberger, Bruno Pouliquen, Camelia Ignat: Navigating multilingual news collections using automatically extracted information.
- Zhihang Yi, Il-Min Kim: High Date-Rate Single-Symbol ML Decodable Distributed STBCs for Cooperative Networks.
- Nuno C. Martins, Tsachy Weissman: Coding for Additive White Noise Channels with Feedback Corrupted by Uniform Quantization or Bounded Noise.
- L. N. Vaserstein: Matrix Games, Linear Programming, and Linear Approximation.
- Yi Deng, Giovanni Di Crescenzo, Dongdai Lin: Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model.
- Ralf Steinberger, Bruno Pouliquen, Anna Widiger, Camelia Ignat, Tomaz Erjavec, Dan Tufis, Dániel Varga: The JRC-Acquis: A multilingual aligned parallel corpus with 20+ languages.
- Bruno Pouliquen, Ralf Steinberger, Camelia Ignat: Automatic annotation of multilingual text collections with a conceptual thesaurus.
- Bruno Pouliquen, Ralf Steinberger, Camelia Ignat: Automatic Identification of Document Translations in Large Multilingual Document Collections.
- Ralf Steinberger: Cross-lingual keyword assignment.
- Camelia Ignat, Bruno Pouliquen, António Ribeiro, Ralf Steinberger: Extending an Information Extraction tool set to Central and Eastern European languages.
- Ralf Steinberger, Bruno Pouliquen, Camelia Ignat: Exploiting multilingual nomenclatures and language-independent text features as an interlingua for cross-lingual text analysis applications.
- Bruno Pouliquen, Marco Kimler, Ralf Steinberger, Camelia Ignat, Tamara Oellinger, Ken Blackler, Flavio Fuart, Wajdi Zaghouani, Anna Widiger, Ann-Charlotte Forslund, Clive Best: Geocoding multilingual texts: Recognition, disambiguation and visualisation.
- Bruno Pouliquen, Ralf Steinberger, Camelia Ignat, Tamara Oellinger: Building and displaying name relations using automatic unsupervised analysis of newspaper articles.
- Camelia Ignat, Bruno Pouliquen, Ralf Steinberger, Tomaz Erjavec: A tool set for the quick and efficient exploration of large document collections.
- Vania Conan, Jeremie Leguay, Timur Friedman: The heterogeneity of inter-contact time distributions: its importance for routing in delay tolerant networks.
- Joseph Distasio, Thomas P. Way: Exploring Computer Science Concepts with a Ready-made Computer Game Framework.
- Shotaro Akaho: A kernel method for canonical correlation analysis.
- Parikshit Gopalan, Phokion G. Kolaitis, Elitza N. Maneva, Christos H. Papadimitriou: The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.
- Mylene Pischella, Jean-Claude Belfiore: Optimal power allocation for downlink cooperative cellular networks.
- Yoo Chul Chung, Dongman Lee: A Non-anchored Unified Naming System for Ad Hoc Computing Environments.
- S. P. Tsarev: On factorization and solution of multidimensional linear partial differential equations.
- Chien-Hwa Hwang: Asymptotic Spectral Distribution of Crosscorrelation Matrix in Asynchronous CDMA.
- Guy Bunin: A Continuum Theory for Unstructured Mesh Generation in Two Dimensions.
- Tomasz Suslo: Modern Statistics by Kriging.
- Benedetto Intrigila, Richard Statman: Solution of a Problem of Barendregt on Sensible lambda-Theories.
- Mark Tygert: Recurrence relations and fast algorithms.
- Marek W. Gutowski: Classifying extrema using intervals.
- A. Sparavigna, Bartolomeo Montrucchio: Non-photorealistic image rendering with a labyrinthine tiling.
- Philip Bille, Rolf Fagerberg, Inge Li Gørtz: Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts.
- Hervé Rivano, Fabrice Theoleyre, Fabrice Valois: About the Capacity of Flat and Self-Organized Ad Hoc and Hybrid Networks.
- Jacek Michalski, Leszek Skoczylas: A comparative analysis of the geometrical surface texture of a real and virtual model of a tooth flank of a cylindrical gear.
- Xiaofei Huang: Deriving the Normalized Min-Sum Algorithm from Cooperative Optimization.
- Xiaofei Huang, Suquan Ding, Zhixing Yang, Youshou Wu: Fast Min-Sum Algorithms for Decoding of LDPC over GF(q).
- Xiaofei Huang: Single-Scan Min-Sum Algorithms for Fast Decoding of LDPC Codes.
- Patrick Dehornoy: Using shifted conjugacy in braid-based cryptography.
- P. Emelyanov: Analysis of Equality Relationships for Imperative Programs.
- Jon Feldman, Ryan O'Donnell, Rocco A. Servedio: PAC Learning Mixtures of Axis-Aligned Gaussians with No Separation Assumption.
- Gil Wiechman, Igal Sason: An Improved Sphere-Packing Bound Targeting Codes of Short to Moderate Block Lengths and Applications.
- Joachim Wehler: Free Choice Petri Nets without frozen tokens and Bipolar Synchronization Systems.
- Ketan Savla, Francesco Bullo, Emilio Frazzoli: Traveing Salesperson Problems for a double integrator.
- Igal Sason, Idan Goldenberg: Coding for Parallel Channels: Gallager Bounds and Applications to Repeat-Accumulate Codes.
- Florent Ranchin, Antonin Chambolle, Françoise Dibos: Total Variation Minimization and Graph Cuts for Moving Objects Segmentation.
- Fabrizio Altarelli, Rémi Monasson, Francesco Zamponi: Can rare SAT formulas be easily recognized? On the efficiency of message passing algorithms for K-SAT at large clause-to-variable ratios.
- Patrick Dehornoy: Using groups for investigating rewrite systems.
- Bodo Manthey: Minimum-weight Cycle Covers and Their Approximability.
- Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard: On Verifying Complex Properties using Symbolic Shape Analysis.
- A. Lavrenov: Binomial multichannel algorithm.
- Gérard Henry Edmond Duchamp, Allan I. Solomon, Pawel Blasiak, Karol A. Penson, Andrzej Horzela: A multipurpose Hopf deformation of the Algebra of Feynman-like Diagrams.
- Víctor Dalmau: Generalized Majority-Minority Operations are Tractable.
- Pascal Weil: Algebraic recognizability of languages.
- Le-Chi Tuan, Chitta Baral, Tran Cao Son: A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information.
- Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe: A Richer Understanding of the Complexity of Election Systems.
- Abdou Wahidi Bello: A VFRoe scheme for 1D shallow water flows : wetting and drying simulation.
- Matthieu Latapy: Theory and Practice of Triangle Problems in Very Large (Sparse (Power-Law)) Graphs.
- Prahladavaradan Sampath: Duality of Fix-Points for Distributive Lattices.
- Adrian Paschke: Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web.
- Adrian Paschke: Rule-based Knowledge Representation for Service Level Agreement.
- Steven de Rooij, Paul M. B. Vitányi: Approximating Rate-Distortion Graphs of Individual Data: Experiments in Lossy Compression and Denoising.
- Melda Yuksel, Elza Erkip: Multi-Antenna Cooperative Wireless Systems: A Diversity-Multiplexing Tradeoff Perspective.
- Micaela Mayero: The Three Gap Theorem (Steinhauss Conjecture).
- Edwin A. Henneken, Michael J. Kurtz, Simeon Warner, Paul Ginsparg, Günther Eichhorn, Alberto Accomazzi, Carolyn Stern-Grant, Donna M. Thompson, Elizabeth Bohlen, Stephen S. Murray: E-prints and Journal Articles in Astronomy: a Productive Co-existence.
- Anil Ada, Melanie Coggan, Paul Di Marco, Alain Doyon, Liam Flookes, Samuli Heilala, Ethan Kim, Jonathan Li On Wing, Louis-François Préville-Ratelle, Sue Whitesides, Nuo Yu: On Bus Graph Realizability.
- Alessandro Rosa: One approach to the digital visualization of hedgehogs in holomorphic dynamics.
- Salvatore Caporaso: A Predicative Harmonization of the Time and Provable Hierarchies.
- Ran Ren, Madan mohan Manokar, Yaogang Shi, Baoyu Zheng: A Fast Block Matching Algorithm for Video Motion Estimation Based on Particle Swarm Optimization and Motion Prejudgment.
- Jochen Gruber: Semantic Description of Parameters in Web Service Annotations.
- Touria Aït El Mekki, Adeline Nazarenko: An application-oriented terminology evaluation: the case of back-of-the book indexes.
- Touria Aït El Mekki, Adeline Nazarenko: Using NLP to build the hypertextuel network of a back-of-the-book index.
- Érick Alphonse, Sophie Aubin, Philippe Bessières, Gilles Bisson, Thierry Hamon, Sandrine Lagarrigue, Adeline Nazarenko, Alain-Pierre Manine, Claire Nedellec, Mohamed Ould Abdel Vetah, Thierry Poibeau, Davy Weissenbacher: Event-based Information Extraction for the biomedical domain: the Caderige project.
- Adeline Nazarenko, Érick Alphonse, Julien Derivière, Thierry Hamon, Guillaume Vauvert, Davy Weissenbacher: The ALVIS Format for Linguistically Annotated Documents.
- Iosif Pinelis: Polygon Convexity: A Minimal O(n) Test.
- Bruno Scherrer: Modular self-organization.
- Adrian Paschke: ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language.
- Ernesto Jiménez-Ruiz, Rafael Berlanga Llavori, Ismael Sanz, Richard McClatchey, Roxana Dánger, David Manset, Jordi Paraire, A. Rios: The Management and Integration of Biomedical Knowledge: Application in the Health-e-Child Project (Position Paper).
- Alexandre d'Aspremont, Laurent El Ghaoui: A Semidefinite Relaxation for Air Traffic Flow Scheduling.
- K. Murali Krishnan, Rajdeep Singh, L. Sunil Chandran, Priti Shankar: A Combinatorial Family of Near Regular LDPC Codes.
- Marius Marin, Arie van Deursen, Leon Moonen: Identifying Crosscutting Concerns Using Fan-in Analysis.
- Roxana Smarandache, Ali Emre Pusane, Pascal O. Vontobel, Daniel J. Costello Jr.: Pseudo-Codeword Performance Analysis for LDPC Convolutional Codes.
- Qing Zhao, Brian M. Sadler: Dynamic Spectrum Access: Signal Processing, Networking, and Regulatory Policy.
- Belynda Brahimi, Christophe Aubrun, Eric Rondeau: Modelling and Simulation of Scheduling Policies Implemented in Ethernet Switch by Using Coloured Petri Nets.
- Nikolai Vatanski, Jean-Philippe Georges, Christophe Aubrun, Eric Rondeau, Sirkka-Liisa Jämsä Jounela: Control compensation based on upper bound delay in networked control systems.
- Jean-Philippe Georges, Nikolai Vatanski, Eric Rondeau, Sirkka-Liisa Jämsä Jounela: Use of upper bound delay estimate in stability analysis and robust control compensation in networked control systems.
- Michael Chertkov, Vladimir Y. Chernyak: Loop Calculus Helps to Improve Belief Propagation and Linear Programming Decodings of Low-Density-Parity-Check Codes.
- Ying Zhu, Taikun Cheng, Krishnamoorthy Sivakumar, Benjamin Belzer: Detection of Markov Random Fields on Two-Dimensional Intersymbol Interference Channels.
- Mohammad Rezaeian: Sensor Scheduling for Optimal Observability Using Estimation Entropy.
- Kwok-Wo Wong, Bernie Sin-Hung Kwok, Wing-Shing Law: A Fast Image Encryption Scheme based on Chaotic Standard Map.
- Maria Bras-Amorós, Michael E. O'Sullivan: Redundancies of Correction-Capability-Optimized Reed-Muller Codes.
- Maria Bras-Amorós, Michael E. O'Sullivan: The Order Bound on the Minimum Distance of the One-Point Codes Associated to a Garcia-Stichtenoth Tower of Function Fields.
- Maria Bras-Amorós, Michael E. O'Sullivan: On Semigroups Generated by Two Consecutive Integers and Improved Hermitian Codes.
- S. Aogaki, I. Moritani, T. Sugai, F. Takeutchi, F. M. Toyama: Conditional Expressions for Blind Deconvolution: Multi-point form.
- S. Aogaki, I. Moritani, T. Sugai, F. Takeutchi, F. M. Toyama: Simple method to eliminate blur based on Lane and Bates algorithm.
- Mauricio Osorio, Víctor Cuevas: Updates in Answer Set Programming: An Approach Based on Basic Structural Properties.
- Thierry Mora, Marc Mézard: Geometrical organization of solutions to random linear Boolean equations.
- Frédéric Dambreville: Cross-Entropy method: convergence issues for extended implementation.
- David Joyner: On quadratic residue codes and hyperelliptic curves.
- Haluk Bingol: Emergence of Fame.
- M. Cristina Diamantini, Carlo A. Trugenberger: Quantum Pattern Retrieval by Qubit Networks with Hebb Interactions.
- Cristopher Moore, Alexander Russell: On the Impossibility of a Quantum Sieve Algorithm for Graph Isomorphism.
- Vladimir E. Korepin, Brenno C. Vallilo: Group Theoretical Formulation of Quantum Partial Search Algorithm.
- Michael J. Kurtz, Günther Eichhorn, Alberto Accomazzi, Carolyn Stern-Grant, Edwin A. Henneken, Donna M. Thompson, Elizabeth Bohlen, Stephen S. Murray: The Future of Technical Libraries.
- G. Korniss: Synchronization in Weighted Uncorrelated Complex Networks in a Noisy Environment: Optimization and Connections with Transport Efficiency.
- Amac Herdagdelen, Eser Aygün, Haluk Bingol: A Formal Treatment of Generalized Preferential Attachment and its Empirical Validation.
- Eberhard H.-A. Gerbracht: Minimal Polynomials for the Coordinates of the Harborth Graph.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team