CoRR, October 2001
- Helen Nissenbaum, Batya Friedman, Edward W. Felten:
Computer Security: Competing Concepts.

- Shalini Venturelli:
Inventing E-Regulation in the US, EU and East Asia: Conflicting Social Visions of the Internet & the Information Society.

- Jerzy Tyszkiewicz, Arthur Ramer, Achim G. Hoffmann:
The temporal calculus of conditional objects and conditional events.

- Jerzy Tyszkiewicz, Achim G. Hoffmann, Arthur Ramer:
Embedding conditional event algebras into temporal calculus of conditionals.

- Tomohiro Yamasaki, Hirotada Kobayashi, Hiroshi Imai:
Two-way Quantum One-counter Automata.

- Pedro Pereira, Cristina Mazón:
Electronic Commerce, Consumer Search and Retailing Cost Reduction.

- Carlos Castro, Sebastian Manzano:
Variable and Value Ordering When Solving Balanced Academic Curriculum Problems.

- Avi Goldfarb:
Analyzing Website Choice Using Clickstream Data.

- Olivier Pelletier, André Weimerskirch:
Algorithmic Self-Assembly of DNA Tiles and its Application to Cryptanalysis.

- Zhe Dang:
Pushdown Timed Automata: a Binary Reachability Characterization and Safety Verification.

- David Eppstein, George S. Lueker:
The Minimum Expectation Selection Problem.

- Proceedings of the 6th Annual Workshop of the ERCIM Working Group on Constraints.

- Scott Hazelhurst:
A Proposal for Dynamic Access Lists for TCP/IP Packet Filering.

- Steven Bird, Gary Simons, Chu-Ren Huang:
The Open Language Archives Community and Asian Language Resources.

- Ciprian Chelba, Peng Xu:
Richer Syntactic Dependencies for Structured Language Modeling.

- Carolyn Gideon, L. Jean Camp:
Limits To Certainty in QoS Pricing and Bandwidth.

- Harold Feld:
The Increased Need For FCC Merger Review In A Networked World.

- Robert Cannon:
ENUM: The Collision of Telephony and DNS Policy.

- Vladimir Gudkov, Joseph E. Johnson:
New approach for network monitoring and intrusion detection.

- Nandlal L. Sarda:
Structuring Business Metadata in Data Warehouse Systems for Effective Business Support.

- Mikhail S. Burtsev, Vladimir G. Red'ko, Roman V. Gusarev:
Alife Model of Evolutionary Emergence of Purposeful Adaptive Behavior.

- Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones:
Mixed-Initiative Interaction = Mixed Computation.

- Agostino Dovier, Enrico Pontelli, Gianfranco Rossi:
Set Unification.

- Kazukuni Kobara, Hideki Imai:
Pretty-Simple Password-Authenticated Key-Exchange Protocol.

- Edith Hemaspaandra, Jörg Rothe, Holger Spakowski:
Recognizing When Heuristics Can Approximate Minimum Vertex Covers Is Complete for Parallel Access to NP.

- Andrei Lopatenko:
Information retrieval in Current Research Information Systems.

- André Kempe:
Part-of-Speech Tagging with Two Sequential Transducers.

- Robert Harper, Frank Pfenning:
On Equivalence and Canonical Forms in the LF Type Theory.

- P. Czarapata, D. Hartill, S. Myers, S. Peggs, N. Phinney, M. Serio, N. Toge, F. Willeke, C. Zhang:
How to Commission, Operate and Maintain a Large Future Accelerator Complex from Far Remote.

- Jeff Erickson:
Dense point sets have sparse Delaunay triangulations.

- Jaikumar Radhakrishnan, Pranab Sen, Sundar Vishwanathan:
Depth-3 Arithmetic Circuits for S^2_n(X) and Extensions of the Graham-Pollack Theorem.

- John Grant, Jack Minker:
A logic-based approach to data integration.

- Tracy Cohen:
Between a Rock and a Hard Place: Domestic Policy and South Africa's Commitments under the WTO's Basic Telecommunications Agreement - Explaining the Apparent Inertia.

- Alexander Serebrenik, Danny De Schreye:
Inference of termination conditions for numerical loops in Prolog.

- Alexander Serebrenik, Danny De Schreye:
On termination of meta-programs.

- Hendrik Blockeel, Jan Struyf:
Efficient algorithms for decision tree cross-validation.

- Nancy Mazur, Peter Ross, Gerda Janssens, Maurice Bruynooghe:
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury.

- Joel I. Seiferas, Paul M. B. Vitányi:
Counting is Easy.

- Tao Jiang, Joel I. Seiferas, Paul M. B. Vitányi:
Two heads are better than two tapes.

- Ming Li, Paul M. B. Vitányi:
A New Approach to Formal Language Theory by Kolmogorov Complexity.

- Sébastien Paquet:
Towards Solving the Interdisciplinary Language Barrier Problem.

- G. Winfield Treese, Lawrence C. Stewart:
An Architecture for Security and Privacy in Mobile Communications.

- Shireesh Reddy Annam:
An Overview of Computer security.

- Sara Cohen, Yaron Kanza, Yakov A. Kogan, Werner Nutt, Yehoshua Sagiv, Alexander Serebrenik:
EquiX - A Search and Query Language for XML.

- V. Brian Viard:
Do Switching Costs Make Markets More or Less Competitive?: The Case of 800-Number Portability.

- Audrey N. Selian:
From 2G TO 3G - The Evolution of International Cellular Standards.

- Lenwood S. Heath, Naren Ramakrishnan, Ronald R. Sederoff, Ross W. Whetten, Boris I. Chevone, Craig A. Struble, Vincent Y. Jouenne, Dawei Chen, Leonel van Zyl, Ruth G. Alscher:
The Expresso Microarray Experiment Management System: The Functional Genomics of Stress Responses in Loblolly Pine.

- Mark Burgin, Walter J. Karplus, Damon Shing-Min Liu:
Multivariant Branching Prediction, Reflection, and Retrospection.

- Frank Harary, Wolfgang Slany, Oleg Verbitsky:
A Symmetric Strategy in Graph Avoidance Games.

- Rens Bod:
What is the minimal set of fragments that achieves maximal parse accuracy?

- Rens Bod:
Combining semantic and syntactic structure for language modeling.

- Nandlal L. Sarda, Ankur Jain:
Mragyati : A System for Keyword-based Searching in Databases.

- Fabrizio Sebastiani:
Machine Learning in Automated Text Categorization.

- Erik D. Demaine, David Eppstein, Jeff Erickson, George W. Hart, Joseph O'Rourke:
Vertex-Unfoldings of Simplicial Manifolds.

- W. Chen:
Analytical solution of transient scalar wave and diffusion problems of arbitrary dimensionality and geometry by RBF wavelet series.

- Asa Ben-Hur, Joshua Feinberg, Shmuel Fishman, Hava T. Siegelmann:
Probabilistic analysis of a differential equation for linear programming.

- Ion Androutsopoulos, Vassiliki Kokkinaki, Aggeliki Dimitromanolaki, Jonathan Calder, Jon Oberlander, Elena Not:
Generating Multilingual Personalized Descriptions of Museum Exhibits - The M-PIRO Project.

- Yi Pan:
Teaching Parallel Programming Using Both High-Level and Low-Level Languages.

- Melody Donoso, Joseph O'Rourke:
Nonorthogonal Polyhedra Built from Rectangles.

- Serban E. Vlad:
Selected Topics in Asynchronous Automata.

- Serban E. Vlad:
An Asynchronous Automata Approach to the Semantics of Temporal Logic.

- Serban E. Vlad:
The Delay-Insensitivity, the Hazard-Freedom, the Semi-Modularity and the Technical Condition of Good Running of the Discrete Time Asynchronous Automata.

- Zhe Dang:
The Existence of $\omega$-Chains for Transitive Mixed Linear Relations and Its Applications.

- Serban E. Vlad:
Applications of the Differential Calculus in the Study of the Timed Automata: the Inertial Delay Buffer.

- K.-U. Kasemir, L. R. Dalesio:
Interfacing the ControlLogix PLC over Ethernet/IP.

- K.-U. Kasemir, L. R. Dalesio:
Overview of the Experimental Physics and Industrial Control System (EPICS) Channel Archiver.

- Fedor S. Kilin:
Analysis of Investment Policy in Belarus.

- Stefan Boettcher, Michelangelo Grigni:
Jamming Model for the Extremal Optimization Heuristic.

- Paul M. B. Vitányi:
Randomness.

- Hirotada Kobayashi, Keiji Matsumoto, Tomoyuki Yamakami:
Quantum Certificate Verification: Single versus Multiple Quantum Certificates.

- Gavriel Segre:
Algorithmic Information Theoretic Issues in Quantum Mechanics.

- F. C. Alcaraz, Constantino Tsallis:
Frontier between separability and quantum entanglement in a many spin system.

- Tien D. Kieu:
Quantum Algorithm for Hilbert's Tenth Problem.

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