CoRR, December 2006

• Matthew Delacorte:
  Polynomial Time Symmetry and Isomorphism Testing for Connected Graphs.
  
• Willemien Visser, Brigitte Trousse:
  Reuse of designs: Desperately seeking an interdisciplinary cognitive approach.
  
• Shuvendu K. Lahiri, Thomas Ball, Byron Cook:
  Predicate Abstraction via Symbolic Decision Procedures.
  
• Jean-Marie Burkhardt, Françoise Détienne, Susan Wiedenbeck:
  Object-Oriented Program Comprehension: Effect of Expertise, Task and Phase.
  
• Patrick d'Astous, Pierre N. Robillard, Françoise Détienne, Willemien Visser:
  Quantitative Measurements of the Influence of Participant Roles during Peer Review Meetings.
  
• Willemien Visser:
  Evocation and elaboration of solutions: Different types of problem-solving actions. An empirical study on the design of an aerospace artifact.
  
• Juyul Lee, Nihar Jindal:
  High SNR Analysis for MIMO Broadcast Channels: Dirty Paper Coding vs. Linear Precoding.
  
• Françoise Détienne:
  Design Strategies and Knowledge in Object-Oriented Programming: Effects of Experience.
  
• Flore Barcellini, Françoise Détienne, Jean-Marie Burkhardt:
  Users' participation to the design process in an Open Source Software online community.
  
• Willemien Visser, Françoise Détienne:
  Articulation entre composantes verbale et graphico-gestuelle de l'interaction dans des réunions de conception architecturale.
  
• Hua Xiao, Amir H. Banihashemi:
  Estimation of Bit and Frame Error Rates of Low-Density Parity-Check Codes on Binary Symmetric Channels.
  
• Hariharan Narayanan:
  Geographic Gossip on Geometric Random Graphs via Affine Combinations.
  
• Al-Mukaddim Khan Pathan, Rajkumar Buyya, James Broberg, Kris Bubendorfer:
  Economy-based Content Replication for Peering Content Delivery Networks.
  
• Russell K. Standish:
  Going Stupid with EcoLab.
  
• Josep Rifà, Faina I. Solov'eva, Mercè Villanueva:
  On the intersection of additive perfect codes.
  
• Françoise Détienne:
  Memory of past designs: distinctive roles in individual and collective design.
  
• Géraldine Martin, Françoise Détienne, Elisabeth Lavigne:
  Confrontation of viewpoints in a concurrent engineering process.
  
• Jean-Marie Burkhardt, Françoise Détienne, Susan Wiedenbeck:
  Mental Representations Constructed by Experts and Novices in Object-Oriented Program Comprehension.
  
• Jacob Ziv:
  On Finite Memory Universal Data Compression and Classification of Individual Sequences.
  
• Géraldine Martin, Françoise Détienne, Elisabeth Lavigne:
  Analysing viewpoints in design through the argumentation process.
  
• Françoise Détienne, Willemien Visser:
  Multimodality and parallelism in design interaction: co-designers' alignment and coalitions.
  
• Willemien Visser:
  Both Generic Design and Different Forms of Designing.
  
• Françoise Détienne, Jean-François Rouet, Jean-Marie Burkhardt, Catherine Deleuze-Dordron:
  Reusing processes and documenting processes: toward an integrated framework.
  
• Peng Cheng, Guanding Yu, Zhaoyang Zhang, Hsiao-Hwa Chen, Peiliang Qiu:
  On the Maximum Sum-rate Capacity of Cognitive Multiple Access Channel.
  
• Paul M. B. Vitányi:
  Registers.
  
• Trung Nguyen, Jean-Daniel Boissonnat, Frédéric Falzon, Christian Knauer:
  A disk-covering problem with application in optical interferometry.
  
• Igor Grabec:
  Experimental Information and Statistical Modeling of Physical Laws.
  
• FSGS: An unlikely result.
  
• Ming-Zhe Chen:
  A Classification of 6R Manipulators.
  
• Joris M. Mooij, Bert Kappen:
  Loop corrections for approximate inference.
  
• Andrew McGregor, S. Muthukrishnan:
  Estimating Aggregate Properties on Probabilistic Streams.
  
• Marat V. Burnashev:
  Code Spectrum and Reliability Function: Binary Symmetric Channel.
  
• André Kempe:
  Acronym-Meaning Extraction from Corpora Using Multi-Tape Weighted Finite-State Machines.
  
• Jean-Marc François, Guy Leduc:
  Predictable Disruption Tolerant Networks and Delivery Guarantees.
  
• Antonio Fernández, Vincent Gramoli, Ernesto Jiménez, Anne-Marie Kermarrec, Michel Raynal:
  Distributed Slicing in Dynamic Systems.
  
• Jack Dongarra, Jean-Francois Pineau, Yves Robert, Zhiao Shi, Frédéric Vivien:
  Revisiting Matrix Product on Master-Worker Platforms.
  
• Jérôme Leroux:
  Least Significant Digit First Presburger Automata.
  
• Vladimir Anashin:
  Non-Archimedean analysis, T-functions, and cryptography.
  
• Raghav Aras, Alain Dutech, François Charpillet:
  Computing the Equilibria of Bimatrix Games using Dominance Heuristics.
  
• Dmitri V. Krioukov, Fan R. K. Chung, Kimberly C. Claffy, Marina Fomenkov, Alessandro Vespignani, Walter Willinger:
  The Workshop on Internet Topology (WIT) Report.
  
• André Kempe:
  Viterbi Algorithm Generalized for n-Tape Best-Path Search.
  
• Sergio Barbarossa, Gesualdo Scutari:
  Decentralized Maximum Likelihood Estimation for Sensor Networks Composed of Nonlinearly Coupled Dynamical Systems.
  
• Rudi Cilibrasi, Zvi Lotker, Alfredo Navarra, Stéphane Pérennes, Paul M. B. Vitányi:
  About the Lifespan of Peer to Peer Networks.
  
• Lifeng Lai, Hesham El Gamal:
  The Relay-Eavesdropper Channel: Cooperation for Secrecy.
  
• Vincent Borrel, Franck Legendre, Marcelo Dias de Amorim, Serge Fdida:
  SIMPS: Using Sociology for Personal Mobility.
  
• Kristina Lerman:
  Social Networks and Social Information Filtering on Digg.
  
• Kristina Lerman, Laurie Jones:
  Social Browsing on Flickr.
  
• Chunxi Li, Changjia Chen:
  Queue Model of Leaf Degree Keeping Process in Gnutella Network.
  
• Mylene Pischella, Jean-Claude Belfiore:
  Power Control in Distributed Cooperative OFDMA Cellular Networks.
  
• Laurent Busé, Bernard Mourrain:
  Explicit factors of some iterated resultants and discriminants.
  
• Maximilien Gadouleau, Zhiyuan Yan:
  Error Performance Analysis of Maximum Rank Distance Codes.
  
• Jon Feldman, S. Muthukrishnan, Martin Pál, Clifford Stein:
  Budget Optimization in Search-Based Advertising Auctions.
  
• Xiaofei Huang, Xiaowu Huang:
  Deriving Schrodinger Equation From A Soft-Decision Iterative Decoding Algorithm.
  
• Wojciech Mazurczyk, Zbigniew Kotulski:
  Lightweight security mechanism for PSTN-VoIP cooperation.
  
• Anna Pagh, Rasmus Pagh, Milan Ruzic:
  Linear Probing with Constant Independence.
  
• U. Gayathree:
  Conscious Intelligent Systems - Part 1 : I X I.
  
• U. Gayathree:
  Conscious Intelligent Systems - Part II - Mind, Thought, Language and Understanding.
  
• Daniel Stefankovic, Santosh Vempala, Eric Vigoda:
  Adaptive Simulated Annealing: A Near-optimal Connection between Sampling and Counting.
  
• Simon Malinowski, Herve Jegou, Christine Guillemot:
  Synchronization recovery and state model reduction for soft decoding of variable length codes.
  
• Sreyash Kenkre, Sundar Vishwanathan:
  The Common Prefix Problem On Trees.
  
• Nicolai Kuntze, Andreas U. Schmidt:
  Trustworthy content push.
  
• Federico Calzolari, Michele Mammini, Monica Monachini:
  Unifying Lexicons in view of a Phonological and Morphological Lexical DB.
  
• Lunjin Lu:
  Improving Precision of Type Analysis Using Non-Discriminative Union.
  
• Yuri L. Borissov, Moon Ho Lee:
  Bounds on Key Appearance Equivocation for Substitution Ciphers.
  
• Garud Iyengar, Anuj Kumar:
  An equilibrium model for matching impatient demand and patient supply over time.
  
• Karim M. El Defrawy, Athina Markopoulou, Katerina J. Argyraki:
  Optimal Filtering for DDoS Attacks.
  
• Jianwen Zhang, Marc Andre Armand:
  Retrieving Reed-Solomon coded data under interpolation-based list decoding.
  
• Esben Rune Hansen, Henrik Reif Andersen:
  Interactive Configuration by Regular String Constraints.
  
• Manuel Bodirsky:
  Cores of Countably Categorical Structures.
  
• Sergey Benditkis, Ilya Safro:
  Generalizations of the Hanoi Towers Problem.
  
• Francis Heylighen:
  Why is Open Access Development so Successful? Stigmergic organization and the economics of information.
  
• S. Muthukrishnan, Martin Pál, Zoya Svitkina:
  Stochastic Models for Budget Optimization in Search-Based Advertising.
  
• N. Prasanth Anthapadmanabhan, Alexander Barg, Ilya Dumer:
  On the Fingerprinting Capacity Under the Marking Assumption.
  
• Petra Berenbrink, Colin Cooper, Zengjian Hu:
  Energy Efficient Randomized Communication in Unknown AdHoc Networks.
  
• Sujay Sanghavi:
  Intermediate Performance of Rateless Codes.
  
• Walid Hachem, Oleksiy Khorunzhiy, Philippe Loubaton, Jamal Najim, Leonid Pastur:
  A New Approach for Capacity Analysis of Large Dimensional Multi-Antenna Channels.
  
• Markus Püschel, José M. F. Moura:
  Algebraic Signal Processing Theory.
  
• Wei Dai, Youjian Liu, Brian Rider:
  Effect of Finite Rate Feedback on CDMA Signature Optimization and MIMO Beamforming Vector Selection.
  
• Steffen Grønneberg:
  Executing the same binary on several operating systems.
  
• Jacob Binia:
  On the Decrease Rate of the Non-Gaussianness of the Sum of Independent Random Variables.
  
• Manas Tungare, Pardha S. Pyla, Manuel A. Pérez-Quiñones, Steve R. Harrison:
  Personal Information Ecosystems and Implications for Design.
  
• Thierry Despeyroux:
  Developing efficient parsers in Prolog: the CLF manual (v1.0).
  
• Wenbing Zhao:
  A Byzantine Fault Tolerant Distributed Commit Protocol.
  
• Ender Tekin, Aylin Yener:
  Achievable Rates for the General Gaussian Multiple Access Wire-Tap Channel with Collective Secrecy.
  
• Roberto Bagnara, Patricia M. Hill, Enea Zaffanella:
  The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems.
  
• Pierre Sutra, Marc Shapiro, João Pedro Barreto:
  An asynchronous, decentralised commitment protocol for semantic optimistic replication.
  
• Lester Ingber:
  Statistical mechanics of neocortical interactions: Portfolio of Physiological Indicators.
  
• Julien Robert, Nicolas Schabanel:
  Non-Clairvoyant Batch Sets Scheduling: Fairness is Fair enough.
  
• Damien Woods, Turlough Neary:
  On the time complexity of 2-tag systems and small universal Turing machines.
  
• Vita Hinze-Hoare:
  A Review of Papers that have a bearing on an Analysis of User Interactions in A Collaborative On-line Laboratory.
  
• Jerome K. Vanclay:
  Bias in the journal impact factor.
  
• Ahmed Samy Sidky, James D. Arthur:
  Agile Adoption Process Framework.
  
• Miguel S. Silva, Francisco Martins, Luís M. B. Lopes, João Barros:
  A Calculus for Sensor Networks.
  
• Alexandre Sedoglavic:
  Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries.
  
• Pieter W. Adriaans, Paul M. B. Vitányi:
  The Power and Perils of MDL.
  
• David N. Levin:
  Using state space differential geometry for nonlinear blind source separation.
  
• Baris Nakiboglu, Robert G. Gallager:
  Error Exponents for Variable-length Block Codes with Feedback and Cost Constraints.
  
• Manik Lal Das, Ashutosh Saxena, Deepak B. Phatak:
  Algorithms and Approaches of Proxy Signature: A Survey.
  
• Rui A. Costa, João Barros:
  Network Information Flow in Small World Networks.
  
• Leah Epstein, Rob van Stee:
  Improved results for a memory allocation problem.
  
• Maxime Guillaud, Mérouane Debbah, Aris L. Moustakas:
  Maximum Entropy MIMO Wireless Channel Models.
  
• Nilesh N. Dalvi, Dan Suciu:
  The Dichotomy of Conjunctive Queries on Probabilistic Structures.
  
• Vibhor Rastogi, Dan Suciu, Sungho Hong:
  The Boundary Between Privacy and Utility in Data Anonymization.
  
• Keki M. Burjorjee:
  Sufficient Conditions for Coarse-Graining Evolutionary Dynamics.
  
• Elankovan Sundararajan, Aaron Harwood:
  Towards Parallel Computing on the Internet: Applications, Architectures, Models and Programming Tools.
  
• Slawomir Lasota, David Nowak, Yu Zhang:
  On Completeness of Logical Relations for Monadic Types.
  
• Friedhelm R. Drepper:
  Voiced speech as secondary response of a self-consistent fundamental drive.
  
• Dmitry Lebedev, Fabien Mathieu, Laurent Viennot, Anh-Tuan Gai, Julien Reynier, Fabien de Montgolfier:
  On Using Matching Theory to Understand P2P Network Design.
  
• Vicenç Gómez, Joris M. Mooij, Hilbert J. Kappen:
  Truncating the loop series expansion for Belief Propagation.
  
• James R. Hamilton:
  Architecture for Modular Data Centers.
  
• Russell Sears, Catharine van Ingen:
  Fragmentation in Large Object Repositories.
  
• Boris Baryshnikov, Cipri Clinciu, Conor Cunningham, Leo Giakoumakis, Slava Oks, Stefano Stefani:
  Managing Query Compilation Memory Consumption to Improve DBMS Throughput.
  
• Paul Greenfield, Alan Fekete, Julian Jang, Dean Kuo, Surya Nepal:
  Isolation Support for Service-based Applications: A Position Paper.
  
• Alexander Böhm, Carl-Christian Kanne, Guido Moerkotte:
  Demaq: A Foundation for Declarative XML Message Processing.
  
• Roger S. Barga, Jonathan Goldstein, Mohamed H. Ali, Mingsheng Hong:
  Consistent Streaming Through Time: A Vision for Event Stream Processing.
  
• Norman Danner, James S. Royer:
  Adventures in time and space.
  
• Masahiro Urakami, Seiji Miyoshi, Masato Okada:
  Statistical Mechanics of On-line Learning when a Moving Teacher Goes around an Unlearnable True Teacher.
  
• Sujay Sanghavi, Bruce Hajek, Laurent Massoulié:
  Gossiping with Multiple Messages.
  
• Cyril Brunie, Philippe Saux Picart:
  Symmetric Subresultants and Applications.
  
• Francesco Ranzato, Francesco Tapparo:
  Generalizing the Paige-Tarjan Algorithm by Abstract Interpretation.
  
• Stefan Funke, Sören Laue, Zvi Lotker, Rouven Naujoks:
  Power Assignment Problems in Wireless Communication.
  
• Jörg Wagner, Boris Rankov, Armin Wittneben:
  Large N Analysis of Amplify-and-Forward MIMO Relay Channels with Correlated Rayleigh Fading.
  
• Lioudmila Belenkaia, Michael Bohnert, Andreas W. Liehr:
  Electronic Laboratory Notebook Assisting Reflectance Spectrometry in Legal Medicine.
  
• Emmanuel J. Candès, Paige A. Randall:
  Highly robust error correction by convex programming.
  
• Anolan Milanés, Noemi de La Rocque Rodriguez, Bruno Schulze:
  Heterogeneous Strong Computation Migration.
  
• Petr R. Ivankov, Nikolay P. Ivankov:
  The virtual reality framework for engineering objects.
  
• Mohamed Y. Eltabakh, Mourad Ouzzani, Walid G. Aref:
  bdbms - A Database Management System for Biological Data.
  
• Daniel Gyllstrom, Eugene Wu, Hee-Jin Chae, Yanlei Diao, Patrick Stahlberg, Gordon Anderson:
  SASE: Complex Event Processing over Streams.
  
• Bishwaranjan Bhattacharjee, Vuk Ercegovac, Joseph S. Glider, Richard A. Golding, Guy M. Lohman, Volker Markl, Hamid Pirahesh, Jun Rao, Robert M. Rees, Frederick Reiss, Eugene J. Shekita, Garret Swart:
  Impliance: A Next Generation Information Management Appliance.
  
• Anh-Tuan Gai, Fabien Mathieu, Julien Reynier, Fabien de Montgolfier:
  Stratification in P2P Networks - Application to BitTorrent.
  
• Amine Chigani, James D. Arthur, Shawn A. Bohner:
  Architecting Network-Centric Software Systems: A Style-Based Beginning.
  
• Lokman I. Meho, Kiduk Yang:
  A New Era in Citation and Bibliometric Analyses: Web of Science, Scopus, and Google Scholar.
  
• Paul M. B. Vitányi, Zvi Lotker:
  Tales of Huffman.
  
• Ketan Mulmuley, Milind A. Sohoni:
  Geometric Complexity Theory II: Towards explicit obstructions for embeddings among class varieties.
  
• Idriss Diouri, Jean-Philippe Georges, Eric Rondeau:
  Accommodation of the Service Offered by the Network for Networked Control Systems.
  
• Dmitrii Manin:
  Experiments on predictability of word in context and information rate in natural language.
  
• Eric Robinson, David J. DeWitt:
  Turning Cluster Management into Data Management: A System Overview.
  
• Alexander Haubold, John R. Kender:
  Accommodating Sample Size Effect on Similarity Measures in Speaker Clustering.
  
• Alexander Haubold, John R. Kender:
  Alignment of Speech to Highly Imperfect Text Transcriptions.
  
• Valmir C. Barbosa, Fernando M. L. Ferreira, Daniel V. Kling, Eduardo Lopes, Fábio Protti, Eber A. Schmitz:
  On simulating nondeterministic stochastic activity networks.
  
• Annie Druault-Vicard, Christian Tanguy:
  Exact Failure Frequency Calculations for Extended Systems.
  
• Christian Tanguy:
  What is the probability of connecting two points ?
  
• Christian Tanguy:
  Exact solutions for the two- and all-terminal reliabilities of a simple ladder network.
  
• Florent Krzakala, Andrea Montanari, Federico Ricci-Tersenghi, Guilhem Semerjian, Lenka Zdeborová:
  Gibbs States and the Set of Solutions of Random Constraint Satisfaction Problems.
  
• M. Yu. Kalmykov, B. F. L. Ward, S. Yost:
  All order epsilon-expansion of Gauss hypergeometric functions with integer and half/integer values of parameters.
  
• James Demmel, Ioana Dumitriu, Olga Holtz:
  Fast linear algebra is stable.
  
• George I. Bell, Daniel S. Hirschberg, Pablo Guerrero-García:
  The minimum size required of a solitaire army.
  
• Dylan Walker, Huafeng Xie, Koon-Kiu Yan, Sergei Maslov:
  Ranking Scientific Publications Using a Simple Model of Network Traffic.
  
• Gonzalo Travieso, Luciano da Fontoura Costa:
  Effective networks for real-time distributed processing.
  
• Cristina Costa-Santos, João Bernardes, Paul M. B. Vitányi, Luis Antunes:
  Clustering fetal heart rate tracings by compression.
  
• Ivan Damgård, Serge Fehr, Renato Renner, Louis Salvail, Christian Schaffner:
  A Tight High-Order Entropic Quantum Uncertainty Relation With Applications.
  
• Dave Bacon:
  How a Clebsch-Gordan Transform Helps to Solve the Heisenberg Hidden Subgroup Problem.
  
• Yves Guiraud:
  Termination orders for 3-dimensional rewriting.
  
• Yves Guiraud:
  Termination orders for 3-polygraphs.
  
• Yves Guiraud:
  Two polygraphic presentations of Petri nets.
  
• Yves Guiraud:
  The three dimensions of proofs.
  

Last update Mon May 20 16:44:41 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page