CoRR, October 2003
- Edu Metz, Raimondas Lencevicius:
A Performance Analysis Tool for Nokia Mobile Phone Software.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310001]
- Suresh Venkatasubramanian:
The Graphics Card as a Streaming Computer.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.GR/0310002]
- Darin Goldstein, Nick Meyer:
The Wake Up and Report Problem is Time-Equivalent to the Firing Squad Synchronization Problem.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DC/0310003]
- Darin Goldstein:
Determination of the Topology of a Directed Network.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DC/0310004]
- Darin Goldstein, William Murray, Binh Yang:
Using Artificial Intelligence for Model Selection.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0310005]
- Serge Abiteboul, Rakesh Agrawal, Philip A. Bernstein, Michael J. Carey, Stefano Ceri, W. Bruce Croft, David J. DeWitt, Michael J. Franklin, Hector Garcia-Molina, Dieter Gawlick, Jim Gray, Laura M. Haas, Alon Y. Halevy, Joseph M. Hellerstein, Yannis E. Ioannidis, Martin L. Kersten, Michael J. Pazzani, Michael Lesk, David Maier, Jeffrey F. Naughton, Hans-Jörg Schek, Timos K. Sellis, Avi Silberschatz, Michael Stonebraker, Richard T. Snodgrass, Jeffrey D. Ullman, Gerhard Weikum, Jennifer Widom, Stanley B. Zdonik:
The Lowell Database Research Self Assessment.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DB/0310006]
- Christian Schaubschläger, Dieter Kranzlmüller, Jens Volkert:
Event-based Program Analysis with DeWiz.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310007]
- Gianluca Argentini:
Poster on MPI application in Computational Fluid Dynamics.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DC/0310008]
- Artur Rataj:
On Interference of Signals and Generalization in Feedforward Neural Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.NE/0310009]
- David Lyback:
Transient Diversity in Multi-Agent Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0310010]
- Robert Capra, Manuel A. Pérez-Quiñones:
Re-Finding Found Things: An Exploratory Study of How Users Re-Find Information.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.HC/0310011]
- Georg Gottlob, Christoph Koch:
A Formal Comparison of Visual Web Wrapper Generators.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DB/0310012]
- Franco Bagnoli, Fabio Franci, Francesco Mugelli, Andrea Sterbini:
WebTeach in practice: the entrance test to the Engineering faculty in Florence.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.HC/0310013]
- Rodney J. Clarke, Philip C. Windridge, Dali Dong:
Effective XML Representation for Spoken Language in Organisations.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0310014]
- Masao Okita, Fumihiko Ino, Kenichi Hagihara:
Debugging Tool for Localizing Faulty Processes in Message Passing Programs.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310015]
- Bil Lewis:
Debugging Backwards in Time.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310016]
- Chris Doran:
Circle and sphere blending with conformal geometric algebra.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CG/0310017]
- Jiyou Jia:
The Study of the Application of a Keywords-based Chatbot System on the Teaching of Foreign Languages.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CY/0310018]
- Michel Koskas:
A hierarchical Algorithm to Solve the Shortest Path Problem in Valued Graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0310019]
- Marija Kulas:
Pure Prolog Execution in 21 Rules.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.PL/0310020]
- Ladislav J. Kohout, Eunjin Kim, Gary Zenz:
Fuzzy Relational Modeling of Cost and Affordability for Advanced Technology Manufacturing Environment.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CE/0310021]
- Arvind Sankar, Daniel A. Spielman, Shang-Hua Teng:
Smoothed Analysis of the Condition Numbers and Growth Factors of Matrices.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.NA/0310022]
- Igor Bocharov, Pavel Lukin:
Application of Kullback-Leibler Metric to Speech Recognition.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0310023]
- Joel Huselius, Henrik Thane, Daniel Sundmark:
Availability Guarantee for Deterministic Replay Starting Points in Real-Time Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310024]
- Mikhail Auguston, Clinton Jeffery, Scott Underwood:
A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310025]
- Akira Sasaki, Masataka Sassa:
Generalized Systematic Debugging for Attribute Grammars.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310026]
- Sándor P. Fekete, Joseph S. B. Mitchell, Karin Beurer:
On the continuous Fermat-Weber problem.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CG/0310027]
- Anoop Jain, Parag Sarda, Jayant R. Haritsa:
Providing Diversity in K-Nearest Neighbor Query Results.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DB/0310028]
- Rajeev Thakur, William Gropp, Ewing L. Lusk:
Optimizing Noncontiguous Accesses in MPI-IO.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DC/0310029]
- Oliver Oppitz:
A Particular Bug Trap: Execution Replay Using Virtual Machines.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DC/0310030]
- Vin de Silva:
A weak definition of Delaunay triangulation.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CG/0310031]
- Sándor P. Fekete, Jörg Schepers:
A combinatorial characterization of higher-dimensional orthogonal packing.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0310032]
- Turker Ozsari:
A Hash of Hash Functions.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CR/0310033]
- Sándor P. Fekete, Marco E. Lübbecke, Henk Meijer:
Minimizing the stabbing number of matchings, trees, and triangulations.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CG/0310034]
- Abhijit Kadlag, Amol V. Wanjari, Juliana Freire, Jayant R. Haritsa:
Supporting Exploratory Queries in Database Centric Web Applications.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DB/0310035]
- Daniel A. Spielman, Shang-Hua Teng:
Solving Sparse, Symmetric, Diagonally-Dominant Linear Systems in Time O(m1.31).
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0310036]
- Sándor P. Fekete, Henk Meijer:
Maximum dispersion and geometric maximum weight cliques.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0310037]
- Shipra Agrawal, Vijay Krishnan, Jayant R. Haritsa:
On Addressing Efficiency Concerns in Privacy Preserving Data Mining.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DB/0310038]
- Chiranjeeb Buragohain, Divyakant Agrawal, Subhash Suri:
A Game Theoretic Framework for Incentives in P2P Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.GT/0310039]
- Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss:
Automated Fault Localization Using Potential Invariants.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310040]
- Pavlina Fragkou:
A Dynamic Programming Algorithm for the Segmentation of Greek Texts.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0310041]
- Mireille Ducassé, Ludovic Langevine, Pierre Deransart:
Rigorous design of tracers: an experiment for constraint logic programming.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310042]
- Jules Sadefo Kamdem:
Value-at-Risk and Expected Shortfall for Quadratic portfolio of securities with mixture of elliptic Distributed Risk Factors.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CE/0310043]
- Ali E. Abbas:
The Algebra of Utility Inference.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0310044]
- Ali E. Abbas:
An information theory for preferences.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0310045]
- Kohtaro Tadaki, Tomoyuki Yamakami, Jack C. H. Lin:
Theory of One Tape Linear Time Turing Machines.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CC/0310046]
- Simona Perri, Francesco Scarcello, Nicola Leone:
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0310047]
- Sébastien Gaspard, Florida Estrella, Richard McClatchey, Régis Dindeleux:
Managing Evolving Business Workflows through the Capture of Descriptive Information.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SE/0310048]
- Vladimir Batagelj, Matjaz Zaversnik:
An O(m) Algorithm for Cores Decomposition of Networks.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0310049]
- Artur Rataj:
Fast Feedforward Neural Networks with Diffused Nonlinear Weight Functions.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.NE/0310050]
- Daniel A. Spielman, Shang-Hua Teng:
Nearly-Linear Time Algorithms for Graph Partitioning, Graph Sparsification, and Solving Linear Systems.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0310051]
- Kamil Kulesza, Zbigniew Kotulski:
On secret sharing for graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CR/0310052]
- Kamil Kulesza, Zbigniew Kotulski:
Secret Sharing for n-Colorable Graphs with Application to Public Key Cryptography.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CR/0310053]
- Jules Desharnais, Bernhard Möller, Georg Struth:
Kleene algebra with domain.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/0310054]
- William McCune:
Mace4 Reference Manual and Guide.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SC/0310055]
- William McCune:
OTTER 3.3 Reference Manual.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.SC/0310056]
- Uwe Naumann, Andrea Walther:
An Introduction to Using Software Tools for Automatic Differentiation.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.MS/0310057]
- Rodney J. Clarke, Dali Dong, Philip C. Windridge:
Application Architecture for Spoken Language Resources in Organisational Settings.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CL/0310058]
- Jiuxing Liu, Weihang Jiang, Pete Wyckoff, Dhabaleswar K. Panda, David Ashton, Darius Buntinas, William Gropp, Brian R. Toonen:
Design and Implementation of MPICH2 over InfiniBand with RDMA Support.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AR/0310059]
- Craig Alan Feinstein:
Evidence that P is not equal to NP.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.CC/0310060]
- Lengning Liu, Miroslaw Truszczynski:
Local-search techniques for propositional logic extended with cardinality constraints.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0310061]
- Lengning Liu, Miroslaw Truszczynski:
WSAT(cc) - a fast local-search ASP solver.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.AI/0310062]
- V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski:
Logic programs with monotone cardinality atoms.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/0310063]
- Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski:
Satisfiability and computing van der Waerden numbers.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.LO/0310064]
- Stephen Alstrup, Jacob Holm, Kristian de Lichtenberg, Mikkel Thorup:
Maintaining Information in Fully-Dynamic Trees with Top Trees.
, (informal publication)
Electronic Edition (link) BibTeX
[cs.DS/0310065]
- Dimitris Achlioptas, Cristopher Moore:
Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold.
, (informal publication)
Electronic Edition (link) BibTeX
[cond-mat/0310227]
- Bernd Fiedler:
Generators of algebraic covariant derivative curvature tensors and Young symmetrizers.
, (informal publication)
Electronic Edition (link) BibTeX
[math.CO/0310020]
- Dan Romik:
Shortest paths in the Tower of Hanoi graph and finite automata.
, (informal publication)
Electronic Edition (link) BibTeX
[math.CO/0310109]
- Lucian Ilie, Jeffrey Shallit:
A Generalization of Repetition Threshold.
, (informal publication)
Electronic Edition (link) BibTeX
[math.CO/0310144]
- Ashish Goel, Sanatan Rai, Bhaskar Krishnamachari:
Sharp thresholds for monotone properties in random geometric graphs.
, (informal publication)
Electronic Edition (link) BibTeX
[math.PR/0310232]
- Jörn Anemüller, Terrence J. Sejnowski, Scott Makeig:
Complex Independent Component Analysis of Frequency-Domain Electroencephalographic Data.
, (informal publication)
Electronic Edition (link) BibTeX
[q-bio.QM/0310011]
- Lev Koyrakh:
Pattern Excitation-Based Processing: The Music of The Brain.
, (informal publication)
Electronic Edition (link) BibTeX
[q-bio.NC/0310025]
- Fang Wu, Bernardo A. Huberman:
Finding Communities in Linear Time: A Physics Approach.
, (informal publication)
Electronic Edition (link) BibTeX
[cond-mat/0310600]
Copyright © Sat May 16 23:54:06 2009
by Michael Ley (ley@uni-trier.de)