default search action
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. - Sophie Aubin, Thierry Hamon:
Improving Term Extraction with Terminological Resources. - 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. - Sreyash Kenkre, Sundar Vishwanathan:
Approximation Algorithms for the Bipartite Multi-cut Problem. - 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. - Jirí Adámek, Stefan Milius, Jirí Velebil:
Elgot Algebras. - 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. - Françoise Gayral, Daniel Kayser, François Lévy:
The role of time in considering collections. - 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 L. 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 P. Temnikova, Anna Widiger, Wajdi Zaghouani
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. - James Cheney, Christian Urban:
Nominal Logic Programming. - 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
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. - S. M. Nazrul Alam, Zygmunt J. Haas:
Coverage and Connectivity in Three-Dimensional 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. - (Withdrawn) Optimal power allocation for downlink cooperative cellular networks.
- Yoo Chul Chung, Dongman Lee:
A Non-anchored Unified Naming System for Ad Hoc Computing Environments. - Sergey P. Tsarev:
On factorization and solution of multidimensional linear partial differential equations. - Chien-Hwa Hwang:
Asymptotic Spectral Distribution of Crosscorrelation Matrix in Asynchronous CDMA. - Shi Xiao, Gaoxi Xiao:
On Intentional Attacks and Protections in Complex Communication Networks. - 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. - Chính T. Hoàng, Joe Sawada, Xiao Shu:
k-Colorability of P5-free graphs. - Amelia Carolina 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. - David Doty, Philippe Moser:
Finite-State Dimension and Lossy Decompressors. - Ketan Savla, Francesco Bullo, Emilio Frazzoli:
Traveing Salesperson Problems for a double integrator. - Sang-Seon Byun, Chuck Yoo:
Reducing the Makespan in Hierarchical Reliable Multicast Tree. - 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. - Yufang Xi, Edmund M. Yeh:
Throughput Optimal Distributed Control of Stochastic Wireless Networks. - 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. - Bruno Courcelle, Pascal Weil:
The recognizability of sets of graphs is a robust property. - 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. - Zoltán Ésik, Pascal Weil:
Algebraic recognizability of regular tree languages. - Abdou Wahidi Bello:
A VFRoe scheme for 1D shallow water flows : wetting and drying simulation. - Matthieu Latapy, Clémence Magnien:
Measuring Fundamental Properties of Real-World Complex Networks. - Matthieu Latapy:
Theory and Practice of Triangle Problems in Very Large (Sparse (Power-Law)) Graphs. - Xudong Ma, En-Hui Yang:
Constructing LDPC Codes by 2-Lifts. - 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. - Xiang Huang, Xiaolin Wu:
Optimal Design of Multiple Description Lattice Vector Quantizers. - Micaela Mayero:
The Three Gap Theorem (Steinhauss Conjecture). - Goren Gordon, Uri Einziger-Lowicz:
Problem Evolution: A new approach to problem solving systems. - Edwin A. Henneken, Michael J. Kurtz
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. - Josep Díaz, Marcin Kaminski:
Max-Cut and Max-Bisection are NP-hard on unit disk graphs. - 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. - Claire Nedellec, Adeline Nazarenko:
Ontologies and Information Extraction. - Teemu Roos, Petri Myllymäki, Jorma Rissanen:
MDL Denoising Revisited. - Sekhar Tatikonda, Sanjoy K. Mitter:
The Capacity of Channels with Feedback. - Baris E. Perk, Jean-Jacques E. Slotine:
Motion Primitives for Robotic Flight Control. - 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, Alfonso 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. - Pavel A. Dmitriev, Carl Lagoze:
Mining Generalized Graph Patterns based on User Examples. - 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. - Hadi Rahiminia, Massoud Amini:
Entangled Graphs. - 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:
Duality for Several Families of Evaluation Codes. - 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. - Amos Korman, Shay Kutten:
Labeling Schemes with Queries. - 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. - Martin J. Strauss, Xuan Zheng:
Private Approximate Heavy Hitters. - 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. - Heiko Bauke, Stephan Mertens:
Random numbers for large scale distributed Monte Carlo simulations. - 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. - Bruno Cessac, Manuel Samuelides:
From Neuron to Neural Networks dynamics. - Marian Anghel, Kenneth A. Werley, Adilson E. Motter:
Stochastic Model for Power Grid Dynamics. - Maria 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. - Igor Bjelakovic, Holger Boche:
Ergodic Classical-Quantum Channels: Structure and Coding Theorems. - Michael J. Kurtz
The Future of Technical Libraries. - György Korniss:
Synchronization in Weighted Uncorrelated Complex Networks in a Noisy Environment: Optimization and Connections with Transport Efficiency. - Dan Kenigsberg, Tal Mor:
Secure Controlled Teleportation. - 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. - Tobias Kretz, Michael Schreckenberg:
F.A.S.T. - Floor field- and Agent-based Simulation Tool. - Jason D. McEwen, Michael P. Hobson, Anthony N. Lasenby:
A directional continuous wavelet transform on the sphere.
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-12-27 21:28 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: