Computer Science

Authors and titles for April 2004

[1] arXiv:cs/0404001 [pdf, other]

Title: On the Practicality of Intrinsic Reconfiguration As a Fault Recovery Method in Analog Systems

Garrison W. Greenwood

Comments: 6 pages

Subjects: Performance (cs.PF); Neural and Evolutionary Computing (cs.NE)

[2] arXiv:cs/0404002 [pdf, other]

Title: Mathematical Analysis of Multi-Agent Systems

Kristina Lerman, Aram Galstyan, Tad Hogg

Comments: latex, 15 figures, 42 pages

Subjects: Robotics (cs.RO); Multiagent Systems (cs.MA)

[3] arXiv:cs/0404003 [pdf, other]

Title: Enhancing the expressive power of the U-Datalog language

Elisa Bertino, Barbara Catania, Roberta Gori

Comments: Appeared in Theory and Practice of Logic Programming, vol. 1, no. 1, 2001

Journal-ref: Theory and Practice of Logic Programming, vol. 1, no. 1, 2001

Subjects: Databases (cs.DB)

[4] arXiv:cs/0404004 [pdf, other]

Title: Dealing With Curious Players in Secure Networks

Liam Wagner

Comments: 4 pages and 1 figure

Subjects: Cryptography and Security (cs.CR); Computer Science and Game Theory (cs.GT); Multiagent Systems (cs.MA)

[5] arXiv:cs/0404005 [pdf, other]

Title: Government mandated blocking of foreign Web content

Maximillian Dornseif

Comments: Preprint, revised 30.6.2003

Journal-ref: In: Jan von Knop, Wilhelm Haverkamp, Eike Jessen (Editors) Security, E-Learning, E-Services: Proceedings of the 17. DFN-Arbeitstagung ueber Kommunikationsnetze, Duesseldorf 2003, ISBN 3-88579-373-3; Series: Lecture Notes in Informatics ISSN 1617-5468; Pages 617-648

Subjects: Computers and Society (cs.CY); Networking and Internet Architecture (cs.NI)

[6] arXiv:cs/0404006 [pdf, other]

Title: Delimited continuations in natural language: quantification and polarity sensitivity

Chung-chieh Shan

Comments: 10 pages

Journal-ref: In CW'04: Proceedings of the 4th ACM SIGPLAN workshop on continuations, ed. Hayo Thielecke, 55-64. Technical report CSR-04-1, School of Computer Science, University of Birmingham (2004)

Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)

[7] arXiv:cs/0404007 [pdf, other]

Title: Polarity sensitivity and evaluation order in type-logical grammar

Chung-chieh Shan

Comments: 4 pages

Journal-ref: Proceedings of the 2004 Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics

Subjects: Computation and Language (cs.CL)

[8] arXiv:cs/0404008 [pdf, other]

Title: Efficient dot product over word-size finite fields

Jean-Guillaume Dumas

Subjects: Symbolic Computation (cs.SC)

[9] arXiv:cs/0404009 [pdf, other]

Title: Tabular Parsing

Mark-Jan Nederhof, Giorgio Satta

Comments: 21 pages, 14 figures

Journal-ref: M.-J. Nederhof and G. Satta. Tabular Parsing. In C. Martin-Vide, V. Mitrana, and G. Paun, editors, Formal Languages and Applications, Studies in Fuzziness and Soft Computing 148, pages 529-549. Springer, 2004

Subjects: Computation and Language (cs.CL)

[10] arXiv:cs/0404010 [pdf, other]

Title: On the universality of rank distributions of website popularity

Serge A. Krashakov, Anton B. Teslyuk, Lev N. Shchur

Comments: 6 pages with 5 figures, this http URL, paper substantially rewritten, new figure and tables added

Journal-ref: Computer Networks, 50, 1769-1780 (2006)

Subjects: Networking and Internet Architecture (cs.NI); Statistical Mechanics (cond-mat.stat-mech)

[11] arXiv:cs/0404011 [pdf, other]

Title: Parametric external predicates for the DLV System

G. Ianni, F. Calimeri, A. Pietramala, M.C. Santoro

Comments: 10 pages

Subjects: Artificial Intelligence (cs.AI)

[12] arXiv:cs/0404012 [pdf, other]

Title: Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)

Francesco Calimeri, Nicola Leone

Comments: 7 pages

Subjects: Artificial Intelligence (cs.AI)

[13] arXiv:cs/0404013 [pdf, other]

Title: Tycoon: A Distributed Market-based Resource Allocation System

Kevin Lai, Bernardo A. Huberman, Leslie Fine

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Multiagent Systems (cs.MA)

[14] arXiv:cs/0404014 [pdf, other]

Title: A Modular and Fault-Tolerant Data Transport Framework

Timm M. Steinbeck

Comments: Ph.D. Thesis, Ruprecht-Karls-University Heidelberg Large, 251 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[15] arXiv:cs/0404015 [pdf, other]

Title: The study of distributed computing algorithms by multithread applications

Ahmet A. Husainov

Comments: 17 pages

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[16] arXiv:cs/0404016 [pdf, other]

Title: Parrondo's games with chaotic switching

T.W. Tang, A. Allison, D. Abbott

Comments: 11 pages, 9 figures

Subjects: Computer Science and Game Theory (cs.GT)

[17] arXiv:cs/0404017 [pdf, other]

Title: Exploring tradeoffs in pleiotropy and redundancy using evolutionary computing

Matthew J. Berryman, Wei-Li Khoo, Hiep Nguyen, Erin O'Neill, Andrew Allison, Derek Abbott

Comments: 10 pages, 6 figures

Journal-ref: Proc. SPIE 5275, BioMEMS and Nanotechnology, Ed. Dan V. Nicolau, Perth, Australia, Dec. 2003, pp49-58

Subjects: Neural and Evolutionary Computing (cs.NE); Networking and Internet Architecture (cs.NI)

[18] arXiv:cs/0404018 [pdf, other]

Title: NLML--a Markup Language to Describe the Unlimited English Grammar

Jiyou Jia

Comments: 15 Pages, 2 Figures, 3 Tables submitted to German Conference for Artificial Intelligence 2004 Ulm

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[19] arXiv:cs/0404019 [pdf, other]

Title: Optimizing genetic algorithm strategies for evolving networks

Matthew J. Berryman, Andrew Allison, Derek Abbott

Comments: 9 pages, 5 figures

Subjects: Neural and Evolutionary Computing (cs.NE); Networking and Internet Architecture (cs.NI)

[20] arXiv:cs/0404020 [pdf, other]

Title: A treatment of higher-order features in logic programming

Gopalan Nadathur

Comments: 50 pages, 4 figures, 2 tables. To appear in Theory and Practice of Logic Programming (TPLP)

Subjects: Programming Languages (cs.PL)

[21] arXiv:cs/0404021 [pdf, other]

Title: Decidability and Universality in Symbolic Dynamical Systems

Jean-Charles Delvenne, Petr Kurka, Vincent Blondel

Comments: 23 pages; a shorter version is submitted to conference MCU 2004 v2: minor orthographic changes v3: section 5.2 (collatz functions) mathematically improved v4: orthographic corrections, one reference added v5:27 pages. Important modifications. The formalism is strengthened: temporal logic replaced by finite automata. New results. Submitted

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[22] arXiv:cs/0404022 [pdf, other]

Title: An Algorithm for Transforming Color Images into Tactile Graphics

Artur Rataj

Comments: 9 pages, 7 figures

Subjects: Graphics (cs.GR)

[23] arXiv:cs/0404023 [pdf, other]

Title: Propositional computability logic I

Giorgi Japaridze

Comments: To appear in ACM Transactions on Computational Logic

Journal-ref: ACM Transactions on Computational Logic 7 (2006), pp. 302-330

Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)

[24] arXiv:cs/0404024 [pdf, other]

Title: Computability Logic: a formal theory of interaction

Giorgi Japaridze

Journal-ref: Interactive Computation: The New Paradigm. D.Goldin, S.Smolka and P.Wegner, eds. Springer Verlag, Berlin 2006, pp. 183-223

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)

[25] arXiv:cs/0404025 [pdf, other]

Title: Test Collections for Patent-to-Patent Retrieval and Patent Map Generation in NTCIR-4 Workshop

Atsushi Fujii, Makoto Iwayama, Noriko Kando

Comments: 4 pages, Proceedings of the 4th International Conference on Language Resources and Evaluation (to appear)

Journal-ref: Proceedings of the 4th International Conference on Language Resources and Evaluation (LREC-2004), pp.1643-1646, May. 2004.

Subjects: Computation and Language (cs.CL)

[26] arXiv:cs/0404026 [pdf, other]

Title: DAB Content Annotation and Receiver Hardware Control with XML

Darran Nathan, Eva Rosdiana, Chua Beng Koon

Comments: 6 pages, 7 figures

Subjects: General Literature (cs.GL); Computation and Language (cs.CL)

[27] arXiv:cs/0404027 [pdf, other]

Title: The Gridbus Toolkit for Service Oriented Grid and Utility Computing: An Overview and Status Report

Rajkumar Buyya, Srikumar Venugopal

Comments: 11 pages, 3 figures, 3 tables

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC)

[28] arXiv:cs/0404028 [pdf, other]

Title: The Random Buffer Tree : A Randomized Technique for I/O-efficient Algorithms

Saju Jude Dominic, G. Sajith

Comments: 13 pages with no figures, unpublished

Subjects: Data Structures and Algorithms (cs.DS)

[29] arXiv:cs/0404029 [pdf, other]

Title: The Effect of Faults on Network Expansion

Amitabha Bagchi, Ankur Bhargava, Amitabh Chaudhary, David Eppstein, Christian Scheideler

Comments: 8 pages; to appear at SPAA 2004

Journal-ref: Theor. Comput. Syst. 39(6):903-928. November 2006

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM)

[30] arXiv:cs/0404030 [pdf, other]

Title: XML framework for concept description and knowledge representation

Andreas de Vries

Comments: 9 pages

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[31] arXiv:cs/0404031 [pdf, other]

Title: Characterisations of Intersection Graphs by Vertex Orderings

David R. Wood

Comments: submitted

Journal-ref: Australasian J. Combinatorics 34:261-268, 2006

Subjects: Discrete Mathematics (cs.DM)

[32] arXiv:cs/0404032 [pdf, other]

Title: When Do Differences Matter? On-Line Feature Extraction Through Cognitive Economy

David J. Finton

Comments: 20 pages, 10 PostScript figures, LaTeX2e

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Neural and Evolutionary Computing (cs.NE)

[33] arXiv:cs/0404033 [pdf, other]

Title: The Persistent Buffer Tree : An I/O-efficient Index for Temporal Data

Saju Jude Dominic, G. Sajith

Comments: 11 pages with no figures, unpublished

Subjects: General Literature (cs.GL); Databases (cs.DB)

[34] arXiv:cs/0404034 [pdf, other]

Title: Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems

M.H. van Emden, B. Moa

Subjects: Numerical Analysis (math.NA)

[35] arXiv:cs/0404035 [pdf, other]

Title: Elements for Response Time Statistics in ERP Transaction Systems

Andreas Mielke

Comments: revtex, twocolumn, 8 pages, 13 figures. figures replaced by coloured versions

Journal-ref: Performance Evaluation 64, 635-653 (2006)

Subjects: Performance (cs.PF)

[36] arXiv:cs/0404036 [pdf, other]

Title: Online Searching with an Autonomous Robot

Sandor P. Fekete, Rolf Klein, Andreas Nuechter

Comments: 16 pages, 8 figures, 12 photographs, 1 table, Latex, submitted for publication

Subjects: Robotics (cs.RO); Data Structures and Algorithms (cs.DS)

[37] arXiv:cs/0404037 [pdf, other]

Title: Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components

Gaoyan Xie, Zhe Dang

Comments: Submitted to FSE'04

Subjects: Software Engineering (cs.SE); Logic in Computer Science (cs.LO)

[38] arXiv:cs/0404038 [pdf, other]

Title: 2-Sat Sub-Clauses and the Hypernodal Structure of the 3-Sat Problem

D. B. Powell

Comments: 16 pages; 8 figures

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)

[39] arXiv:cs/0404039 [pdf, other]

Title: Algorithms for Estimating Information Distance with Application to Bioinformatics and Linguistics

Alexei Kaltchenko

Comments: 4 pages

Subjects: Computational Complexity (cs.CC); Computational Engineering, Finance, and Science (cs.CE); Genomics (q-bio.GN)

[40] arXiv:cs/0404040 [pdf, other]

Title: Near Rationality and Competitive Equilibria in Networked Systems

Nicolas Christin, Jens Grossklags, John Chuang

Comments: 13 pages, no figures

Subjects: Computer Science and Game Theory (cs.GT); Networking and Internet Architecture (cs.NI)

[41] arXiv:cs/0404041 [pdf, other]

Title: NLOMJ--Natural Language Object Model in Java

Jiyou Jia

Comments: 11 pages, 1 figure. Submitted to ICICP04

Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)

[42] arXiv:cs/0404042 [pdf, other]

Title: Extraction of topological features from communication network topological patterns using self-organizing feature maps

W. Ali, R.J. Mondragon, F. Alavi

Comments: 8 Pages, 5 figures, To be appeared in IEE Electronics Letter Journal

Subjects: Neural and Evolutionary Computing (cs.NE); Computer Vision and Pattern Recognition (cs.CV)

[43] arXiv:cs/0404043 [pdf, other]

Title: Benchmarking Blunders and Things That Go Bump in the Night

Neil J. Gunther

Comments: Invited presentation at the Workshop On Software Performance and Reliability (WOPR2) Menlo Park, California, April 15-17 2004

Subjects: Performance (cs.PF); Software Engineering (cs.SE)

[44] arXiv:cs/0404044 [pdf, other]

Title: A note on dimensions of polynomial size circuits

Xiaoyang Gu

Comments: 11 pages

Subjects: Computational Complexity (cs.CC)

[45] arXiv:cs/0404045 [pdf, other]

Title: Speculation on graph computation architectures and computing via synchronization

Bayle Shanks

Comments: 61 pages. Informal, rambling. (replacment changed only abstract)

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI)

[46] arXiv:cs/0404046 [pdf, other]

Title: Visualising the structure of architectural open spaces based on shape analysis

Sanjay Rana, Mike Batty

Comments: 10 pages, 9 figures

Journal-ref: International Journal of Architectural Computing, 2(1), 2004

Subjects: Computer Vision and Pattern Recognition (cs.CV); Computational Geometry (cs.CG); Data Structures and Algorithms (cs.DS)

[47] arXiv:cs/0404047 [pdf, other]

Title: Using matrices in post-processing phase of CFD simulations

Gianluca Argentini

Comments: Paper based on presentation-talk at SCICOMP9, Bologna (Italy), March 23-26, 2004; workshop organized by IBM, CINECA (Italy) (dr. Sigismondo Boschi, dr. Giovanni Erbacci), NERSC-DOE (USA) (dr. David Skinner), web site: this http URL ; main topics: Computational Fluid Dynamics

Journal-ref: Progress in Industrial Mathematics at ECMI 2004 - Eindhoven (Netherlands), Springer, 2005

Subjects: Numerical Analysis (math.NA); Distributed, Parallel, and Cluster Computing (cs.DC); Computational Physics (physics.comp-ph)

[48] arXiv:cs/0404048 [pdf, other]

Title: Incompleteness of States w.r.t. Traces in Model Checking

Roberto Giacobazzi, Francesco Ranzato

Subjects: Logic in Computer Science (cs.LO)

[49] arXiv:cs/0404049 [pdf, other]

Title: Exploiting Cross-Document Relations for Multi-document Evolving Summarization

Stergos D. Afantenos, Irene Doura, Eleni Kapellou, Vangelis Karkaletsis

Comments: 10 pages

Journal-ref: Methods and Applications of Artificial Intelligence, Volume 3025 of Lecture Notes in Computer Science. Springer-Verlag Heidelberg 2004. pp 410-419.

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[50] arXiv:cs/0404050 [pdf, other]

Title: A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types

Puri Arenas-Sanchez, Mario Rodriguez-Artalejo

Comments: Appeared in Theory and Practice of Logic Programming, vol. 1, no. 2, 2001

Journal-ref: Theory and Practice of Logic Programming, vol. 1, no. 2, 2001

Subjects: Programming Languages (cs.PL)