CoRR, November 2003

• Bernhard Peischl, Franz Wotawa:
  Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311001]
• Florence Benoy, Andy King, Frédéric Mesnard:
  Computing Convex Hulls with a Linear Solver. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0311002]
• Maurice Bruynooghe:
  Enhancing a Search Algorithm to Perform Intelligent Backtracking. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311003]
• Ali Abbas, Jim Matheson:
  Utility-Probability Duality. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311004]
• David S. H. Rosenthal:
  On The Cost Distribution of a Memory Bound Function. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0311005]
• Allison Woodruff, Paul M. Aoki:
  How Push-To-Talk Makes Talk Less Pushy. , (informal publication)
  Electronic Edition (link) BibTeX [cs.HC/0311006]
• Simona Perri, Nicola Leone:
  Parametric Connectives in Disjunctive Logic Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311007]
• Ralf Schweimeier, Michael Schroeder:
  A Parameterised Hierarchy of Argumentation Semantics for Extended Logic Programming and its Application to the Well-founded Semantics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0311008]
• Andrey Demichev, David Foster, V. Kalyaev, Alexander Kryukov, Massimo Lamanna, Viktor Pose, Ricardo B. Da Rocha, Claude Wang:
  OGSA/Globus Evaluation for Data Intensive Applications. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0311009]
• V. Kalyaev, Alexander Kryukov:
  Problem of Application Job Monitoring in GRID Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0311010]
• S. B. Yuste, L. Acedo:
  On an explicit finite difference method for fractional diffusion equations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NA/0311011]
• Rui Carvalho, Michael Batty:
  A rigorous definition of axial lines: ridges on isovist fields. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CV/0311012]
• Vamsi Paruchuri, Arjan Durresi, Raj Jain:
  Optimized Flooding Protocol for Ad hoc Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0311013]
• Marcus Hutter:
  Optimality of Universal Bayesian Sequence Prediction for General Loss and Alphabet. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0311014]
• Liang Wang, Yiping Guo, Ming Fang:
  Make search become the internal function of Internet. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IR/0311015]
• Erwan Jahier, Mireille Ducassé:
  Generic and Efficient Program Monitoring by trace analysis. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0311016]
• Mema Roussopoulos, Mary Baker, David S. H. Rosenthal, Thomas J. Giuli, Petros Maniatis, Jeffrey C. Mogul:
  2 P2P or Not 2 P2P? , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0311017]
• Carla Piazza, Alberto Policriti:
  Ackermann Encoding, Bisimulations, and OBDDs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0311018]
• Daniel Sundmark, Henrik Thane, Joel Huselius, Anders Pettersson, Roger Mellander, Ingemar Reiyer, Mattias Kallvi:
  Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies. , (informal publication)
  Electronic Edition (link) BibTeX [cs.RO/0311019]
• Kai-min Chung, Hsueh-I Lu:
  An Optimal Algorithm for the Maximum-Density Segment Problem. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0311020]
• L. Shamardin:
  LCG-1 Deployment and usage experience. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0311021]
• Massimo Franceschet, Angelo Montanari:
  Temporalized logics and automata for time granularity. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0311022]
• Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny:
  The Chameleon Type Debugger (Tool Demonstration). , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0311023]
• Viviana Mascardi, Maurizio Martelli, Leon Sterling:
  Logic-Based Specification Languages for Intelligent Software Agents. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311024]
• Katarzyna Keahey, Von Welch, S. Lang, B. Liu, Sam Meder:
  Fine-Grained Authorization for Job Execution in the Grid: Design and Implementation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0311025]
• Francis C. Chu, Joseph Y. Halpern:
  Great Expectations. Part I: On the Customizability of Generalized Expected Utility. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311026]
• Francis C. Chu, Joseph Y. Halpern:
  Great Expectations. Part II: Generalized Expected Utility as a Universal Decision Rule. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311027]
• Joseph Y. Halpern, Yoram Moses:
  Using Counterfactuals in Knowledge-Based Programming. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0311028]
• Michael Narayan, Christopher Williams, Saverio Perugini, Naren Ramakrishnan:
  Staging Transformations for Multimodal Web Interaction Management. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IR/0311029]
• Zoë Abrams, Ashish Goel, Serge A. Plotkin:
  Set K-Cover Algorithms for Energy Efficient Monitoring in Wireless Sensor Networks. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DS/0311030]
• J. Gerard Wolff:
  Towards an Intelligent Database System Founded on the SP Theory of Computing and Cognition. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0311031]
• Oleg Mazonka, Daniel B. Cristofani:
  A Very Short Self-Interpreter. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0311032]
• Solomija N. Buk, Andrij A. Rovenchak:
  The Rank-Frequency Analysis for the Functional Style Corpora in the Ukrainian Language. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0311033]
• Gibby Koldenhof:
  Visualization of variations in human brain morphology using differentiating reflection functions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.GR/0311034]
• Milenko Petrovic, Mokhtar Aboelaze:
  Improving TCP/IP Performance over Wireless IEEE 802.11 Link. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0311035]
• Dinoj Surendran, Partha Niyogi:
  Measuring the Functional Load of Phonological Contrasts. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0311036]
• Aaron Searle, John Gough, David Abramson:
  DUCT: An Interactive Define-Use Chain Navigation Tool for Relative Debugging. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SE/0311037]
• Wolfgang May:
  XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DB/0311038]
• Zhide Chen, Hong Zhu:
  Quantum m-out-of-n Oblivious Transfer. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CR/0311039]
• Zoltan Somogyi:
  Idempotent I/O for safe time travel. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0311040]
• Milenko Petrovic, Ioana Burcea, Hans-Arno Jacobsen:
  S-ToPSS: Semantic Toronto Publish/Subscribe System. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0311041]
• Adam R. Klivans, Rocco A. Servedio:
  Toward Attribute Efficient Learning Algorithms. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0311042]
• Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
  Combining Logic Programs and Monadic Second Order Logics by Program Transformation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0311043]
• Alberto Pettorossi, Maurizio Proietti, Sophie Renault:
  Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. , (informal publication)
  Electronic Edition (link) BibTeX [cs.PL/0311044]
• J. Gerard Wolff:
  Unsupervised Grammar Induction in a Framework of Information Compression by Multiple Alignment, Unification and Search. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311045]
• Jan Odelstad, Magnus Boman:
  Algebras for Agent Norm-Regulation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0311046]
• Ioana Burcea, Milenko Petrovic, Hans-Arno Jacobsen:
  I know what you mean: semantic issues in Internet-scale publish/subscribe systems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0311047]
• Deept Kumar, Naren Ramakrishnan, Malcolm Potts, Richard F. Helm:
  Turning CARTwheels: An Alternating Algorithm for Mining Redescriptions. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0311048]
• Milenko Petrovic, Mokhtar Aboelaze:
  Performance of TCP/UDP under Ad Hoc IEEE802.11. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0311049]
• Max Voskob, Nuck Punin:
  Data mining and Privacy in Public Sector using Intelligent Agents (discussion paper). , (informal publication)
  Electronic Edition (link) BibTeX [cs.CY/0311050]
• Amar Isli:
  Integrating existing cone-shaped and projection-based cardinal direction relations and a TCSP-like decidable generalisation. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311051]
• Wen-Yu Dong, Ke Xu, Meng-Xiang Lin:
  A Situation Calculus-based Approach To Model Ubiquitous Information Services. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0311052]
• Dima Grigoriev:
  Weak Bezout inequality for D-modules. , (informal publication)
  Electronic Edition (link) BibTeX [cs.SC/0311053]
• Douglas A. Galbi:
  Copyright and Creativity: Authors and Photographers. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CY/0311054]
• Mireille Boutin, Gregor Kemper:
  Which Point Configurations are Determined by the Distribution of their Pairwise Distances? , (informal publication)
  Electronic Edition (link) BibTeX [math.MG/0311004]
• Vladimir Shpilrain:
  Assessing security of some group based cryptosystems. , (informal publication)
  Electronic Edition (link) BibTeX [math.GR/0311047]
• Carmen Cortés, Clara I. Grima, Ferran Hurtado, Alberto Márquez, F. Santos, Jesus Valenzuela:
  Transforming triangulations of polygons on non planar surfaces. , (informal publication)
  Electronic Edition (link) BibTeX [math.MG/0311228]
• Carlos Gershenson:
  Phase Transitions in Random Boolean Networks with Different Updating Schemes. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.AO/0311008]
• Alexander Kraskov, Harald Stögbauer, Ralph G. Andrzejak, Peter Grassberger:
  Hierarchical Clustering Using Mutual Information. , (informal publication)
  Electronic Edition (link) BibTeX [q-bio.QM/0311037]
• Scott Aaronson:
  Multilinear Formulas and Skepticism of Quantum Computing. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0311039]
• Antonio Acin, J. Ignacio Cirac, Lluis Masanes:
  Multipartite Bound Information exists and can be activated. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0311064]
• Alexander Kraskov, Harald Stögbauer, Ralph G. Andrzejak, Peter Grassberger:
  Hierarchical Clustering Based on Mutual Information. , (informal publication)
  Electronic Edition (link) BibTeX [q-bio.QM/0311039]
• E. Ben-Naim, Paul L. Krapivsky, Sidney Redner:
  Extremal Properties of Random Structures. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0311552]