CoRR, November 2003

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

Last update Tue May 21 18:36:46 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page