CoRR, May 2004

• Nurlan Djenchuraev:
  Toward a New Policy for Scientific and Technical Communication: the Case of Kyrgyz Republic. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CY/0405001]
• Joost Vennekens, David Gilis, Marc Denecker:
  Splitting an operator: Algebraic modularity results for logics with fixpoint semantics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405002]
• Laura Bozzelli:
  Model checking for Process Rewrite Systems and a class of action - based regular properties. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OH/0405003]
• Archil Avaliani:
  Quantum Computers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405004]
• Venkatesan Guruswami, Alexander Vardy:
  Maximum-likelihood decoding of Reed-Solomon Codes is NP-hard. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0405005]
• Lionel Eyraud, Pierre-François Dutot, Grégory Mounié, Denis Trystram:
  Bi-criteria Algorithm for Scheduling Jobs on Cluster Platforms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0405006]
• Tom Fawcett:
  "In vivo" spam filtering: A challenge problem for data mining. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405007]
• Ravi Jain, Ajith Abraham:
  A Comparative Study of Fuzzy Classification Methods on Breast Cancer Data. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405008]
• Ajith Abraham:
  Intelligent Systems: Architectures and Perspectives. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405009]
• Ajith Abraham, Baikunth Nath:
  A Neuro-Fuzzy Approach for Modelling Electricity Demand in Victoria. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405010]
• Ajith Abraham:
  Neuro Fuzzy Systems: Sate-of-the-Art Modeling Techniques. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405011]
• Ajith Abraham, Dan Steinberg:
  Is Neural Network a Reliable Forecaster on Earth? A MARS Query! , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405012]
• Golam Sorwar, Ajith Abraham:
  DCT Based Texture Classification Using Soft Computing Approach. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405013]
• Andy Auyeung, Ajith Abraham:
  Estimating Genome Reversal Distance by Genetic Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405014]
• Darran Nathan, Kelvin Lim Mun Kit, Kelly Choo Hon Min, Philip Wong Jit Chin, Andreas Weisensee:
  A High-Level Reconfigurable Computing Platform Software Frameworks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AR/0405015]
• Srinivas Mukkamala, Andrew H. Sung, Ajith Abraham, Vitorino Ramos:
  Intrusion Detection Systems Using Adaptive Regression Splines. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405016]
• Marcin Paprzycki, Ajith Abraham, Ruiyuan Guo:
  Data Mining Approach for Analyzing Call Center Performance. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405017]
• Ajith Abraham, Ninan Sajith Philip, P. Saratchandran:
  Modeling Chaotic Behavior of Stock Indices Using Intelligent Paradigms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405018]
• Sonja Petrovic-Lazarevic, Ajith Abraham:
  Hybrid Fuzzy-Linear Programming Approach for Multi Criteria Decision Making Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405019]
• Joel Friedman:
  A proof of Alon's second eigenvalue conjecture and related problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0405020]
• Gregorio Malajovich, Klaus Meer:
  Computing Multi-Homogeneous Bezout Numbers is Hard. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0405021]
• Ryan Harkins, Eric Weber, Andrew Westmeyer:
  Encryption Schemes using Finite Frames and Hadamard Arrays. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0405022]
• Srikumar Venugopal, Rajkumar Buyya, Lyle J. Winton:
  A Grid Service Broker for Scheduling Distributed Data-Oriented Applications on Global Grids. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0405023]
• Ajith Abraham:
  Meta-Learning Evolutionary Artificial Neural Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405024]
• Andy Auyeung, Ajith Abraham:
  The Largest Compatible Subset Problem for Phylogenetic Data. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405025]
• Cong Tran, Ajith Abraham, Lakhmi C. Jain:
  A Concurrent Fuzzy-Neural Network Approach for Decision Support Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405026]
• Julian Togelius:
  Evolution of a Subsumption Architecture Neurocontroller. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405027]
• Ajith Abraham:
  Analysis of Hybrid Soft and Hard Computing Techniques for Forex Monitoring Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405028]
• B. R. Schlei:
  A New Computational Framework For 2D Shape-Enclosing Contours. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0405029]
• Ajith Abraham:
  Business Intelligence from Web Usage Mining. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405030]
• Cong Tran, Lakhmi C. Jain, Ajith Abraham:
  Adaptation of Mamdani Fuzzy Inference System Using Neuro - Genetic Approach for Tactical Air Combat Decision Support System. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405031]
• Ajith Abraham:
  EvoNF: A Framework for Optimization of Fuzzy Inference Systems Using Neural Network Learning and Evolutionary Computation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405032]
• Ajith Abraham:
  Optimization of Evolutionary Neural Networks Using Hybrid Learning Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405033]
• Joseph O'Rourke:
  Computational Geometry Column 45. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0405034]
• Rajgopal Kannan, Lydia Ray, Arjan Durresi:
  Security-Performance Tradeoffs of Inheritance based Key Predistribution for Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0405035]
• M. Gopi, David Eppstein:
  Single-Strip Triangulation of Manifolds with Arbitrary Topology. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0405036]
• G. E. Miram, V. K. Petrov:
  A Probabilistic Model of Machine Translation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0405037]
• Riccardo Pucella:
  Deductive Algorithmic Knowledge. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405038]
• Regina Barzilay, Lillian Lee:
  Catching the Drift: Probabilistic Content Models, with Applications to Generation and Summarization. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0405039]
• Yongzhi Cao, Mingsheng Ying:
  Supervisory Control of Fuzzy Discrete Event Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0405040]
• Vladimir V. Migunov:
  The modulus in the CAD system drawings as a base of developing of the problem-oriented extensions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0405041]
• Ted Herman, Sébastien Tixeuil:
  A Distributed TDMA Slot Assignment Algorithm for Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0405042]
• Marcus Hutter, Jan Poland:
  Prediction with Expert Advice by Following the Perturbed Leader for General Weights. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0405043]
• Oren Kurland, Lillian Lee:
  Corpus structure, language models, and ad hoc information retrieval. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IR/0405044]
• Ravikiran Vatrapu, Manuel A. Pérez-Quiñones:
  Culture and International Usability Testing: The Effects of Culture in Structured Interviews. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0405045]
• Ajith Abraham, Ravi Jain:
  Soft Computing Models for Network Intrusion Detection Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0405046]
• Vladimir V. Migunov:
  Modular technology of developing of the problem-oriented extensions of a CAD system of reconstruction of the plant. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0405047]
• Stanimire Tomov, Michael D. McGuigan:
  Interactive visualization of higher dimensional data in a multiview environment. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GR/0405048]
• Ron Edwards, Ajith Abraham, Sonja Petrovic-Lazarevic:
  Export Behaviour Modeling Using EvoNF Approach. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405049]
• Miao M. Chong, Ajith Abraham, Marcin Paprzycki:
  Traffic Accident Analysis Using Decision Trees and Neural Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405050]
• Muhammad Riaz Khan, Ajith Abraham:
  Short Term Load Forecasting Models in Czech Republic Using Soft Computing Paradigms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405051]
• Cong Tran, Ajith Abraham, Lakhmi C. Jain:
  Decision Support Systems Using Intelligent Paradigms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405052]
• Boris D. Lubachevsky, Alan Weiss:
  Synchronous Relaxation for Parallel Ising Spin Simulations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0405053]
• Vladimir V. Migunov:
  The model of the tables in design documentation for operating with the electronic catalogs and for specifications making in a CAD system. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0405054]
• Vladimir V. Migunov, Rustem R. Kafiyatullov, Ilsur T. Safin:
  Modular technology of developing of the extensions of a CAD system. Axonometric piping diagrams. Parametric representation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0405055]
• Ilsur T. Safin, Vladimir V. Migunov, Rustem R. Kafiyatullov:
  Modular technology of developing of the extensions of a CAD system. The axonometric piping diagrams. Common and special operations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0405056]
• Vladimir V. Migunov:
  Mathematical and programming toolkit of the computer aided design of the axonometric piping diagrams. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0405057]
• Sándor P. Fekete, Alexander Kröller, Dennis Pfisterer, Stefan Fischer, Carsten Buschmann:
  Neighborhood-Based Topology Recognition in Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0405058]
• Benjamin Lévêque, Frédéric Maffray:
  Coloring Meyniel graphs in linear time. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0405059]
• Gérard Duchamp, Hatem Hadj Kacem, Éric Laugerotte:
  An unexpected application of minimization theory to module decompositions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/0405060]
• Rangarajan Vasudevan, Ajith Abraham, Sugata Sanyal, Dharma P. Agrawal:
  Jigsaw-based Security in Data Transfer in Computer Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0405061]
• Kumara Sastry, David E. Goldberg, Martin Pelikan:
  Efficiency Enhancement of Probabilistic Model Building Genetic Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0405062]
• Kumara Sastry, David E. Goldberg:
  Let's Get Ready to Rumble: Crossover Versus Mutation Head to Head. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0405063]
• Kumara Sastry, David E. Goldberg:
  Designing Competent Mutation Operators via Probabilistic Model Building of Neighborhoods. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0405064]
• Kumara Sastry, Martin Pelikan, David E. Goldberg:
  Efficiency Enhancement of Genetic Algorithms via Building-Block-Wise Fitness Estimation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NE/0405065]
• Riccardo Pucella, Vicky Weissman:
  A Logic for Reasoning about Digital Rights. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0405066]
• Graham Brightwell, Peter Winkler:
  Note on Counting Eulerian Circuits. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CC/0405067]
• Yongzhi Cao, Mingsheng Ying:
  Observability and Decentralized Control of Fuzzy Discrete Event Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DM/0405068]
• Gösta Grahne, Jianfei Zhu:
  Mining Frequent Itemsets from Secondary Memory. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0405069]
• Alain Barrat, Marc Barthelemy, Alessandro Vespignani:
  Traffic-driven model of the World Wide Web graph. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0405070]
• Le-Chi Tuan, Chitta Baral, Tran Cao Son:
  Regression with respect to sensing actions and partial states. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405071]
• S. Roberto Amendolia, Florida Estrella, Tamas Hauer, David Manset, Richard McClatchey, Mohammed Odeh, T. Reading, Dmitri Rogulin, David Schottlander, Tony Solomonides:
  Grid Databases for Shared Image Analysis in the MammoGrid Project. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0405072]
• Olivier Gay:
  Advanced exploitation of buffer overflow. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0405073]
• S. Roberto Amendolia, Florida Estrella, W. Hassan, Tamas Hauer, David Manset, Richard McClatchey, Dmitri Rogulin, Tony Solomonides:
  MammoGrid: A Service Oriented Architecture based Medical Grid Application. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0405074]
• Xiaochu Qi:
  Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405075]
• Chiaki Sakama, Katsumi Inoue:
  An Abductive Framework For Computing Knowledge Base Updates. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0405076]
• Boris D. Lubachevsky:
  Fast Simulation of Multicomponent Dynamic Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0405077]
• Max Schlee, Jean Vanderdonckt:
  Generative Programming of Graphical User Interfaces. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0405078]
• Riccardo Pucella:
  Higher-Order Concurrent Win32 Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405079]
• Riccardo Pucella:
  Reactive Programming in Standard ML. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405080]
• Riccardo Pucella:
  An Analysis of Lambek's Production Machines. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0405081]
• Riccardo Pucella, Erik Meijer, Dino Oliva:
  Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405082]
• Riccardo Pucella:
  The Design of a COM-Oriented Module System. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405083]
• Kathleen Fisher, Riccardo Pucella, John H. Reppy:
  A Framework for Interoperability. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405084]
• Riccardo Pucella, Prakash Panangaden:
  On the Expressive Power of First-Order Boolean Functions in PCF. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405085]
• Vasilii Zhakhovskii, Katsunobu Nishihara, Yuko Fukuda, Shinji Shimojo:
  A New Dynamical Domain Decomposition Method for Parallel Molecular Dynamics Simulation on Grid. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0405086]
• Dmitri Rogulin, Florida Estrella, Tamas Hauer, Richard McClatchey, Tony Solomonides:
  A Grid Information Infrastructure for Medical Image Analysis. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0405087]
• Paul Tarau, Verónica Dahl:
  High-Level Networking With Mobile Code And First Order AND-Continuations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405088]
• Axel Simon, Andy King:
  Convex Hull of Planar H-Polyhedra. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CG/0405089]
• Michael J. Maher:
  Propositional Defeasible Logic has Linear Complexity. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405090]
• Yves Caseau, François-Xavier Josset, François Laburthe:
  CLAIRE: Combining Sets, Search And Rules To Better Express Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405091]
• Yves Caseau, Glenn Silverstein, François Laburthe:
  Learning Hybrid Algorithms for Vehicle Routing Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405092]
• Vytautas Perlibakas:
  Computerized Face Detection and Recognition. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0405093]
• Taneli Mielikäinen, Esko Ukkonen:
  The Complexity of Maximum Matroid-Greedoid Intersection and Weighted Greedoid Maximization. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0405094]
• Lili Ma, Yangquan Chen, Kevin L. Moore:
  Blind Detection and Compensation of Camera Lens Geometric Distortions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0405095]
• Yuriy A. Chashkov:
  Developing Intellectual Network Management Facilities by Means of Pattern Recognition Theory. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0405096]
• Hubie Chen, Riccardo Pucella:
  A Coalgebraic Approach to Kleene Algebra with Tests. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0405097]
• Joseph Y. Halpern, Riccardo Pucella:
  A Logic for Reasoning about Evidence. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0405098]
• Wang Liang, Guo Yi-Ping, Fang Ming:
  Web search engine based on DNS. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0405099]
• François Fages, Emmanuel Coquery:
  Typing constraint logic programs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0405100]