CoRR, December 2004

• Serge Rouveyrol, Yves Chiaramella, Francesca Leinardi, Joanna Janik, Bruno Marmol, Carole Silvy, Catherine Allauzun:
  EURYDICE : A platform for unified access to documents. , (informal publication)
  [abs/cs/0412001]
• José Borges, Mark Levene:
  Ranking Pages by Topology and Popularity within Web Sites. , (informal publication)
  [abs/cs/0412002]
• Florence Duchêne, Catherine Garbay, Vincent Rialle:
  Mining Heterogeneous Multivariate Time-Series for Learning Meaningful Patterns: Application to Home Health Telecare. , (informal publication)
  [abs/cs/0412003]
• L. Allison:
  Finding Approximate Palindromes in Strings Quickly and Simply. , (informal publication)
  [abs/cs/0412004]
• Bernard Parisse, Morgane Vaughan:
  Jordan Normal and Rational Normal Form Algorithms. , (informal publication)
  [abs/cs/0412005]
• Sidi Mohamed Sedjelmaci:
  The Accelerated Euclidean Algorithm. , (informal publication)
  [abs/cs/0412006]
• Luca Dall'Asta, J. Ignacio Alvarez-Hamelin, Alain Barrat, Alexei Vázquez, Alessandro Vespignani:
  Exploring networks with traceroute-like probes: theory and simulations. , (informal publication)
  [abs/cs/0412007]
• Robert Krauthgamer, James R. Lee, Manor Mendel, Assaf Naor:
  Measured descent: A new embedding method for finite metrics. , (informal publication)
  [abs/cs/0412008]
• Gun Srijuntongsiri, Stephen A. Vavasis:
  A Fully Sparse Implementation of a Primal-Dual Interior-Point Potential Reduction Method for Semidefinite Programming. , (informal publication)
  [abs/cs/0412009]
• Jérémie Guiochet, Gilles Motet, Claude Baron, Guy A. Boy:
  Toward a Human-Centered Uml for Risk Analysis. , (informal publication)
  [abs/cs/0412010]
• Archil Avaliani:
  Successful E-Business Systems - Paypal. , (informal publication)
  [abs/cs/0412011]
• Catherine Oriat:
  Jartege: a Tool for Random Generation of Unit Tests for Java Classes. , (informal publication)
  [abs/cs/0412012]
• Jean-Christophe Dubacq, Véronique Terrier:
  Signals for Cellular Automata in dimension 2 or higher. , (informal publication)
  [abs/cs/0412013]
• Vlady Ravelomanana:
  Randomized Initialization of a Wireless Multihop Network. , (informal publication)
  [abs/cs/0412014]
• Detlef Prescher:
  A Tutorial on the Expectation-Maximization Algorithm Including Maximum-Likelihood Estimation and EM Training of Probabilistic Context-Free Grammars. , (informal publication)
  [abs/cs/0412015]
• Detlef Prescher:
  Inside-Outside Estimation Meets Dynamic EM. , (informal publication)
  [abs/cs/0412016]
• Salman Baset, Henning Schulzrinne:
  An Analysis of the Skype Peer-to-Peer Internet Telephony Protocol. , (informal publication)
  [abs/cs/0412017]
• Zengyou He, Xiaofei Xu, Shengchun Deng:
  Modeling Complex Higher Order Patterns. , (informal publication)
  [abs/cs/0412018]
• Zengyou He, Xiaofei Xu, Shengchun Deng:
  A Link Clustering Based Approach for Clustering Categorical Data. , (informal publication)
  [abs/cs/0412019]
• Paul Rogers, Nael B. Abu-Ghazaleh:
  Towards Reliable Network Wide Broadcast in Mobile Ad Hoc Networks. , (informal publication)
  [abs/cs/0412020]
• Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey:
  Finite Domain Bounds Consistency Revisited. , (informal publication)
  [abs/cs/0412021]
• Petrus H. Potgieter:
  Zeno machines and hypercomputation. , (informal publication)
  [abs/cs/0412022]
• Praveen Boinee, F. Barbarino, Alessandro De Angelis:
  Multidimensional data classification with artificial neural networks. , (informal publication)
  [abs/cs/0412023]
• Peter D. Turney:
  Human-Level Performance on Word Analogy Questions by Latent Relational Analysis. , (informal publication)
  [abs/cs/0412024]
• David Eppstein, Kevin A. Wortman:
  Minimum Dilation Stars. , (informal publication)
  [abs/cs/0412025]
• Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
  Removing Propagation Redundant Constraints in Redundant Modeling. , (informal publication)
  [abs/cs/0412026]
• Uli Harder, Maya Paczuski:
  Correlated dynamics in human printing behavior. , (informal publication)
  [abs/cs/0412027]
• Patrick Baillot, Kazushige Terui:
  A feasible algorithm for typing in Elementary Affine Logic. , (informal publication)
  [abs/cs/0412028]
• Vladimir V. Migunov, Rustem R. Kafiyatullov, Ilsur T. Safin:
  The modular technology of development of the CAD expansions: profiles of outside networks of water supply and water drain. , (informal publication)
  [abs/cs/0412029]
• Vladimir V. Migunov, Rustem R. Kafiyatullov, Ilsur T. Safin:
  The modular technology of development of the CAD expansions: protection of the buildings from the lightning. , (informal publication)
  [abs/cs/0412030]
• Vladimir V. Migunov:
  The Features of the Complex CAD system of Reconstruction of the Industrial Plants. , (informal publication)
  [abs/cs/0412031]
• Vladimir V. Migunov:
  The methods of support of the requirements of the Russian standards at development of a CAD of industrial objects. , (informal publication)
  [abs/cs/0412032]
• Vladimir V. Migunov:
  The modelling of the build constructions in a CAD of the renovation of the enterprises by means of units in the drawings. , (informal publication)
  [abs/cs/0412033]
• Vladimir V. Migunov:
  The informatization of design works at industry firm during its renovation. , (informal publication)
  [abs/cs/0412034]
• S. Roberto Amendolia, Florida Estrella, Chiara Del Frate, Jose Galvez, W. Hassan, Tamas Hauer, David Manset, Richard McClatchey, Mohammed Odeh, Dmitri Rogulin, Tony Solomonides, Ruth Warren:
  Deployment of a Grid-based Medical Imaging Application. , (informal publication)
  [abs/cs/0412035]
• Haya El-Ghalayini, Mohammed Odeh, Richard McClatchey, Tony Solomonides:
  Reverse Engineering Ontology to Conceptual Data Models. , (informal publication)
  [abs/cs/0412036]
• David B. Chua, Eric D. Kolaczyk, Mark Crovella:
  A Statistical Framework for Efficient Monitoring of End-to-End Network Properties. , (informal publication)
  [abs/cs/0412037]
• Kevin Lai, Lars Rasmusson, Eytan Adar, Stephen Sorkin, Li Zhang, Bernardo A. Huberman:
  Tycoon: an Implementation of a Distributed, Market-based Resource Allocation System. , (informal publication)
  [abs/cs/0412038]
• Marc Chatel, Michel Dagenais, Charles Levert, Makan Pourzandi:
  Security in Carrier Class Server Applications for All-IP Networks. , (informal publication)
  [abs/cs/0412039]
• John Robert Burger:
  Data-stationary Architecture to Execute Quantum Algorithms Classically. , (informal publication)
  [abs/cs/0412040]
• Hai-Feng Guo, Gopal Gupta:
  An Efficient and Flexible Engine for Computing Fixed Points. , (informal publication)
  [abs/cs/0412041]
• Peter Jonsson, Mikael Klasson, Andrei A. Krokhin:
  The approximability of three-valued MAX CSP. , (informal publication)
  [abs/cs/0412042]
• Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella:
  Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract). , (informal publication)
  [abs/cs/0412043]
• Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella:
  TulaFale: A Security Tool for Web Services. , (informal publication)
  [abs/cs/0412044]
• Andrew D. Gordon, Riccardo Pucella:
  Validating a Web Service Security Abstraction by Typing. , (informal publication)
  [abs/cs/0412045]
• David Eppstein:
  Quasiconvex Programming. , (informal publication)
  [abs/cs/0412046]
• Marko A. Rodriguez, Daniel J. Steinbock:
  A Social Network for Societal-Scale Decision-Making Systems. , (informal publication)
  [abs/cs/0412047]
• Enrico Formenti, Benoît Masson:
  On computing fixed points for generalized sandpiles. , (informal publication)
  [abs/cs/0412048]
• Danica Janglova:
  Neural Networks in Mobile Robot Motion. , (informal publication)
  [abs/cs/0412049]
• Yongsheng Ou, Yangsheng Xu:
  Gyroscopically Stabilized Robot: Balance and Tracking. , (informal publication)
  [abs/cs/0412050]
• Oliver Adria, Hermann Streich, Joachim Hertzberg:
  Dynamic replanning in uncertain environments for a sewer inspection robot. , (informal publication)
  [abs/cs/0412051]
• Olivier Michel:
  WebotsTM: Professional Mobile Robot Simulation. , (informal publication)
  [abs/cs/0412052]
• Atef A. Ata, Habib Johar:
  Dynamic simulation of task constrained of a rigid-flexible manipulator. , (informal publication)
  [abs/cs/0412053]
• L. M. Galantucci, G. Percoco, R. Spina:
  Assembly and Disassembly Planning by using Fuzzy Logic & Genetic Algorithms. , (informal publication)
  [abs/cs/0412054]
• Alan P. Kypson, W. Randolph Chitwood Jr:
  Robotic Applications in Cardiac Surgery. , (informal publication)
  [abs/cs/0412055]
• Nikita Pashenkov, Ryuichi Iwamasa:
  One-Chip Solution to Intelligent Robot Control: Implementing Hexapod Subsumption Architecture Using a Contemporary Microprocessor. , (informal publication)
  [abs/cs/0412056]
• Miomir Vukobratovic, Dejan Andric, Branislav Borovac:
  How to achieve various gait patterns from single nominal. , (informal publication)
  [abs/cs/0412057]
• Zengyou He, Xiaofei Xu, Shengchun Deng, Joshua Zhexue Huang:
  Clustering Categorical Data Streams. , (informal publication)
  [abs/cs/0412058]
• Ross W. Gayler:
  Vector Symbolic Architectures answer Jackendoff's challenges for cognitive neuroscience. , (informal publication)
  [abs/cs/0412059]
• Daniel Hoesli, Young-Han Kim, Amos Lapidoth:
  Monotonicity Results for Coherent MIMO Rician Channels. , (informal publication)
  [abs/cs/0412060]
• Gérard Henry Edmond Duchamp, Jean-Gabriel Luque, Karol A. Penson, Christophe Tollu:
  Free quasi-symmetric functions, product actions and quantum field theory of partitions. , (informal publication)
  [abs/cs/0412061]
• Michael Bauland, Edith Hemaspaandra:
  Isomorphic Implication. , (informal publication)
  [abs/cs/0412062]
• Michael Huth:
  Labelled transition systems as a Stone space. , (informal publication)
  [abs/cs/0412063]
• Daniel J. Steinbock, Craig Kaplan, Marko A. Rodriguez, Juana Diaz, Newton Der, Suzanne Garcia:
  Collective Intelligence Quanitifed for Computer-Mediated Group Problem Solving. , (informal publication)
  [abs/cs/0412064]
• Stephen Chong, Riccardo Pucella:
  A Framework for Creating Natural Language User Interfaces for Action-Based Applications. , (informal publication)
  [abs/cs/0412065]
• Vitorino Ramos, Pedro Pina, Fernando Muge:
  From Feature Extraction to Classification: A multidisciplinary Approach applied to Portuguese Granites. , (informal publication)
  [abs/cs/0412066]
• Aydin Sezgin, Tobias J. Oechtering:
  Complete Characterization of the Equivalent MIMO Channel for Quasi-Orthogonal Space-Time Codes. , (informal publication)
  [abs/cs/0412067]
• Vitorino Ramos, Ajith Abraham:
  ANTIDS: Self-Organized Ant-based Clustering Model for Intrusion Detection System. , (informal publication)
  [abs/cs/0412068]
• Vitorino Ramos, Jonathan Campbell, John Slater, John Gillespie, Ivan F. Bendezu, Fionn Murtagh:
  Swarming around Shellfish Larvae. , (informal publication)
  [abs/cs/0412069]
• Vitorino Ramos, Fernando Muge:
  Less is More - Genetic Optimisation of Nearest Neighbour Classifiers. , (informal publication)
  [abs/cs/0412070]
• Ajith Abraham, Vitorino Ramos:
  Web Usage Mining Using Artificial Ant Colony Clustering and Genetic Programming. , (informal publication)
  [abs/cs/0412071]
• Vitorino Ramos, Ajith Abraham:
  Swarms on Continuous Data. , (informal publication)
  [abs/cs/0412072]
• Vitorino Ramos:
  Self-Organizing the Abstract: Canvas as a Swarm Habitat for Collective Memory, Perception and Cooperative Distributed Creativity. , (informal publication)
  [abs/cs/0412073]
• Elizabeth Haubert:
  Threats of Human Error in a High-Performance Storage System: Problem Statement and Case Study. , (informal publication)
  [abs/cs/0412074]
• Vitorino Ramos, Juan J. Merelo Guervós:
  Self-Organized Stigmergic Document Maps: Environment as a Mechanism for Context Learning. , (informal publication)
  [abs/cs/0412075]
• João Rogério Caldas Pinto, Pedro Pina, Vitorino Ramos, Mário Ramalho:
  Clustering Techniques for Marbles Classification. , (informal publication)
  [abs/cs/0412076]
• Vitorino Ramos:
  On the Implicit and on the Artificial - Morphogenesis and Emergent Aesthetics in Autonomous Collective Systems. , (informal publication)
  [abs/cs/0412077]
• David Renault:
  The vertex-transitive TLF-planar graphs. , (informal publication)
  [abs/cs/0412078]
• Vitorino Ramos:
  The MC2 Project [Machines of Collective Conscience]: A possible walk, up to Life-like Complexity and Behaviour, from bottom, basic and simple bio-inspired heuristics - a walk, up into the morphogenesis of information. , (informal publication)
  [abs/cs/0412079]
• Vitorino Ramos:
  The Biological Concept of Neoteny in Evolutionary Colour Image Segmentation - Simple Experiments in Simple Non-Memetic Genetic Algorithms. , (informal publication)
  [abs/cs/0412080]
• Vitorino Ramos:
  Artificial Neoteny in Evolutionary Image Segmentation. , (informal publication)
  [abs/cs/0412081]
• A. Marcolino, Vitorino Ramos, Mário Ramalho, João Rogério Caldas Pinto:
  Line and Word Matching in Old Documents. , (informal publication)
  [abs/cs/0412083]
• Vitorino Ramos, Fernando Muge:
  Map Segmentation by Colour Cube Genetic K-Mean Clustering. , (informal publication)
  [abs/cs/0412084]
• Heide Gluesing-Luerssen, Barbara Langfeld:
  A class of one-dimensional MDS convolutional codes. , (informal publication)
  [abs/cs/0412085]
• Vitorino Ramos, Filipe Almeida:
  Artificial Ant Colonies in Digital Image Habitats - A Mass Behaviour Effect Study on Pattern Recognition. , (informal publication)
  [abs/cs/0412086]
• Vitorino Ramos, Fernando Muge:
  Image Colour Segmentation by Genetic Algorithms. , (informal publication)
  [abs/cs/0412087]
• Vitorino Ramos, Fernando Muge:
  On Image Filtering, Noise and Morphological Size Intensity Diagrams. , (informal publication)
  [abs/cs/0412088]
• Evgeny Yanenko:
  Evolving Categories: Consistent Framework for Representation of Data and Algorithms. , (informal publication)
  [abs/cs/0412089]
• Serban E. Vlad:
  Real Time Models of the Asynchronous Circuits: The Delay Theory. , (informal publication)
  [abs/cs/0412090]
• Florentin Smarandache, Jean Dezert:
  The Combination of Paradoxical, Uncertain, and Imprecise Sources of Information based on DSmT and Neutro-Fuzzy Inference. , (informal publication)
  [abs/cs/0412091]
• A. Earl, P. Clark:
  Mass Storage Management and the Grid. , (informal publication)
  [abs/cs/0412092]
• A. Earl, P. Clark, S. Thorn:
  ScotGrid: A Prototype Tier 2 Centre. , (informal publication)
  [abs/cs/0412093]
• Philippe Baptiste, Marek Chrobak, Christoph Dürr, Francis Sourd:
  Preemptive Multi-Machine Scheduling of Equal-Length Jobs to Minimize the Average Flow Time. , (informal publication)
  [abs/cs/0412094]
• Mirela Damian, Joseph O'Rourke:
  Partitioning Regular Polygons into Circular Pieces II:Nonconvex Partitions. , (informal publication)
  [abs/cs/0412095]
• David Soloveichik, Erik Winfree:
  Complexity of Self-Assembled Shapes. , (informal publication)
  [abs/cs/0412096]
• David Soloveichik, Erik Winfree:
  The Computational Power of Benenson Automata. , (informal publication)
  [abs/cs/0412097]
• Rudi Cilibrasi, Paul M. B. Vitányi:
  The Google Similarity Distance. , (informal publication)
  [abs/cs/0412098]
• Arindam Mitra:
  An unbreakable cryptosystem. , (informal publication)
  [abs/cs/0412099]
• Peter H. Deussen, Stephan Tobies:
  Formal Test Purposes and The Validity of Test Cases. , (informal publication)
  [abs/cs/0412100]
• Franz Baader, Stephan Tobies:
  The Inverse Method Implements the Automata Approach for Modal Satisfiability. , (informal publication)
  [abs/cs/0412101]
• Gus Gutoski, John Watrous:
  Quantum Interactive Proofs with Competing Provers. , (informal publication)
  [abs/cs/0412102]
• Chengqing Li, Shujun Li, Xiaofeng Liao, Guanrong Chen:
  Chosen-Plaintext Cryptanalysis of a Clipped-Neural-Network-Based Chaotic Cipher. , (informal publication)
  [abs/cs/0412103]
• Koye Somefun, Tomas Klos, Han La Poutré:
  Negotiating over Bundles and Prices Using Aggregate Knowledge. , (informal publication)
  [abs/cs/0412104]
• Stefania Costantini:
  On the existence of stable models of non-stratified logic programs. , (informal publication)
  [abs/cs/0412105]
• Koye Somefun, Tomas Klos, Han La Poutré:
  Online Learning of Aggregate Knowledge about Non-linear Preferences Applied to Negotiating Prices and Bundles. , (informal publication)
  [abs/cs/0412106]
• L. A. Garcia-Cortes, C. Cabrillo:
  A Monte Carlo algorithm for efficient large matrix inversion. , (informal publication)
  [abs/cs/0412107]
• Dongning Guo, Shlomo Shamai, Sergio Verdú:
  Mutual Information and Minimum Mean-square Error in Gaussian Channels. , (informal publication)
  [abs/cs/0412108]
• Leonid B. Litinskii, Bashir M. Magomedov:
  Global minimization of a quadratic functional: neural network approach. , (informal publication)
  [abs/cs/0412109]
• D. I. Alieva, Boris Kryzhanovsky, Vladimir Kryzhanovsky, Anatoly B. Fonarev:
  Q-valued neural network as a system of fast identification and pattern recognition. , (informal publication)
  [abs/cs/0412110]
• Alexander Barg:
  On the asymptotic accuracy of the union bound. , (informal publication)
  [abs/cs/0412111]
• Emin Martinian, Gregory W. Wornell, Ram Zamir:
  Source Coding With Encoder Side Information. , (informal publication)
  [abs/cs/0412112]
• J. Nicholas Laneman, Emin Martinian, Gregory W. Wornell, John G. Apostolopoulos:
  Source-Channel Diversity for Parallel Channels. , (informal publication)
  [abs/cs/0412113]
• Martin Rajman, Martin Vesely, Pierre Andrews:
  State of the Art, Evaluation and Recommendations regarding "Document Processing and Visualization Techniques". , (informal publication)
  [abs/cs/0412114]
• Bernadette Charron-Bost:
  Reductions in Distributed Computing Part I: Consensus and Atomic Commitment Tasks. , (informal publication)
  [abs/cs/0412115]
• Bernadette Charron-Bost:
  Reductions in Distributed Computing Part II: k-Threshold Agreement Tasks. , (informal publication)
  [abs/cs/0412116]
• Pierre Andrews, Martin Rajman:
  Thematic Annotation: extracting concepts out of documents. , (informal publication)
  [abs/cs/0412117]
• Chiranjeeb Buragohain, Divyakant Agrawal, Subhash Suri:
  Power Aware Routing for Sensor Databases. , (informal publication)
  [abs/cs/0412118]
• Shmuel Vagner:
  CDTP Chain Distributed Transfer Protocol. , (informal publication)
  [abs/cs/0412119]
• Gianluca Argentini:
  An estimate of accuracy for interpolant numerical solutions of a PDE problem. , (informal publication)
  [abs/cs/0412120]
• Michael Treaster, Nadir Kiyanclar, Gregory A. Koenig, William Yurcik:
  A Distributed Economics-based Infrastructure for Utility Computing. , (informal publication)
  [abs/cs/0412121]
• Satoshi Kokado, Kikuo Harigaya:
  Spin dependent transport of ``nonmagnetic metal/zigzag nanotube encapsulating magnetic atoms/nonmagnetic metal'' junctions. , (informal publication)
  [abs/cond-mat/0412587]
• Vygintas Gontis, Bronislovas Kaulakys:
  Modelling financial markets by the multiplicative sequence of trades. , (informal publication)
  [abs/cond-mat/0412723]
• Sergey A. Astakhov, Harald Stögbauer, Alexander Kraskov, Peter Grassberger:
  Spectral Mixture Decomposition by Least Dependent Component Analysis. , (informal publication)
  [abs/physics/0412029]
• Hartmut Klauck:
  Quantum and Classical Communication-Space Tradeoffs from Rectangle Bounds. , (informal publication)
  [abs/quant-ph/0412088]
• Scott Aaronson:
  Limits on Efficient Computation in the Physical World. , (informal publication)
  [abs/quant-ph/0412143]
• Scott Aaronson:
  Quantum Computing, Postselection, and Probabilistic Polynomial-Time. , (informal publication)
  [abs/quant-ph/0412187]
• Giulia Battilotti, Paola Zizzi:
  The internal logic of Bell's states. , (informal publication)
  [abs/quant-ph/0412199]
• Robert K. Niven:
  Exact Maxwell-Boltzmann, Bose-Einstein and Fermi-Dirac Statistics. , (informal publication)
  [abs/cond-mat/0412460]