501. Optimization of the Binding Mechanism of the Characteristic Function in Marvel Bunter, Toni A. 1993 Reports Computer science
502. Oz: A Decentralized Process Centered Environment Ben-Shaul, Israel Z. 1993 Reports Computer science
503. Process Centered Software Development on Mobile Hosts Skopp, Peter D. 1993 Reports Computer science
504. Solution of Ulam's Problem on Binary Search with Four Lies Auletta, Vincenzo; Negro, Alberto; Parlati, Giuseppe 1993 Reports Computer science
505. Terminological Constraint Network Reasoning and its Application to Plan Recognition Weida, Robert Anthony 1993 Reports Computer science
506. The Complexity of Two-Point Boundary-Value Problems With Piecewise Analytic Data Werschulz, Arthur G. 1993 Reports Computer science
507. There Exists a Problem Whose Computational Complexity is Any Given Function of the Information Complexity Chu, Ming 1993 Reports Computer science
508. A Comparative Study of Divergence Control Algorithms Kawaguchi, Akira; Mok, Kui W.; Pu, Calton 1994 Reports Computer science
509. An Architecture for Integrating Concurrency Control into Environment Frameworks Heineman, George T.; Kaiser, Gail E. 1994 Reports Computer science
510. A New Client-Server Architecture for Distributed Query Processing Li, Zhe; Ross, Kenneth A. 1994 Reports Computer science
511. Better Semijoins Using Tuple Bit-Vectors Li, Zhe; Ross, Kenneth A. 1994 Reports Computer science
512. Discovery and Hot Replacement of Replicated Read-Only File Systems, with Application to Mobile Computing Zadok, Erez 1994 Reports Computer science
513. Enveloping Sophisticated Tools into Computer-Aided Software Engineering Environments Valetto, Giuseppe; Kaiser, Gail E. 1994 Reports Computer science
514. Exact Essential-Hazard-Free State Minimization of Incompletely Specified Asynchronous Sequential Machines Cheng, Fu-Chiung; Plana, Luis A. 1994 Reports Computer science
515. Expanding the Repertoire of Process-based Tool Integration Valetto, Giuseppe 1994 Reports Computer science
516. Expanding the Repertoire of Process-based Tool Integration Valetto, Giuseppe 1994 Reports Computer science
517. Explicit cost bounds of algorithms for multivariate tensor product problems Wasilkowski, Grzegorz W.; Wozniakowski, Henryk 1994 Reports Computer science
518. Flow Trees: A Lower Bound Computation Tool with Applications to Rearrangeable Multihop Lightwave Network Optimization Yener, Bulent; Boult, Terrance E. 1994 Reports Computer science
519. Hamiltonian Decompositions of Regular Topology Networks with Convergence Routing Yener, Biilent; Boult, Terry; Ofek, Yoram 1994 Reports Computer science
520. Incremental Process Support for Code Reengineering Heineman, George T.; Kaiser, Gail E. 1994 Reports Computer science
521. Integrating a Transaction Manager Component with Process Weaver Heineman, George T.; Kaiser, Gail E. 1994 Reports Computer science
522. Management of Application Quality of Service Florissi, Patrícia Gomes Soares; Yemini, Yechiam 1994 Reports Computer science
523. PGMAKE: A Portable Distributed Make System Lih, Andrew; Zadok, Erez 1994 Reports Computer science
524. Predictive Dynamic Load Balancing of Parallel and Distributed Rule and Query Processing Dewan, Hasanat M.; Stolfo, Salvatore; Hernandez, Mauricio; Hwang, Jae-Jun 1994 Reports Computer science
525. Predictive Dynamic Load Balancing of Parallel Hash-Joins over Heterogeneous Processors in the Presence of Data Skew Dewan, Hasanat M.; Stolfo, Salvatore; Hernandez, Mauricio; Mok, Kui W. 1994 Reports Computer science
526. Protocols for Loosely Synchronous Networks Florissi, Danilo; Yemini, Yechiam 1994 Reports Computer science
528. Revision-Based Generation of Natural Language Summaries Providing Historical Background: Corpus-Based Analysis, Design, Implementation and Evaluation Robin, Jacques 1994 Reports Computer science
529. Statistical Augmentation of a Chinese Machine-Readable Dictionary Fung, Pascale; Wu, Dekai 1994 Reports Computer science
530. Stereo in the Presence of Specular Reflection Bhat, Dinkar N.; Nayar, Shree K. 1994 Reports Computer science
531. The Complexity of Multivariate Elliptic Problems with Analytic Data Werschulz, Arthur G. 1994 Reports Computer science
532. Toward Scalable and Parallel Inductive Learning: A Case Study in Splice Junction Prediction Chan, Philip K.; Stolfo, Salvatore 1994 Reports Computer science
533. Adapting Materialized Views after Redifinitions Gupta, Ashish; Mumick, Inderpal S.; Ross, Kenneth A. 1995 Reports Computer science
534. A Generalization of Band Joins and the Merge-Purge Problem Hernandez, Mauricio A. 1995 Reports Computer science
535. An Interoperability Model for Process-Centered Software Engineering Environments and Its Implementation in Oz Ben-Shaul, Israel Z.; Kaiser, Gail E. 1995 Reports Computer science
536. An intractability result for multiple integration Wozniakowski, Henryk; Sloan, I. H. 1995 Reports Computer science
537. An Overview of the Isochronets Architecture for High Speed Networks Yemini, Yechiam; Florissi, Danilo 1995 Reports Computer science
538. A Paradigm for Decentralized Process Modeling and Its Realization in the Oz Environment Ben-Shaul, Israel Z. 1995 Reports Computer science
540. Automatic Generation of RBF Networks Mukherjee, Shayan; Nayar, Shree K. 1995 Reports Computer science
541. Coerced Markov Models for Cross-Lingual Lexical-Tag Relations Fung, Pascale; Wu, Dekai 1995 Reports Computer science
542. Enveloping Sophisticated Tools into Process-Centered Environments Valetto, Giuseppe; Kaiser, Gail E. 1995 Reports Computer science
543. Estimating an Eigenvector by the Power Method with a Random Start Del Corso, Gianna M. 1995 Reports Computer science
544. Integrating, Customizing, and Extending Environments with a Message-Based Architecture Arnold, John E.; Popovich, Steven S. 1995 Reports Computer science
545. Integrating Groupware Activities into Workflow Management Systems Ben-Shaul, Israel Z.; Kaiser, Gail E. 1995 Reports Computer science
547. Isochronets: A High-speed Network Switching Architecture Florissi, Danilo 1995 Reports Computer science
548. On tractability of path integration Wasilkowski, Grzegorz W.; Wozniakowski, Henryk 1995 Reports Computer science
549. Parametric Feature Detection Nayar, Shree K.; Baker, Simon; Murase, Hiroshi 1995 Reports Computer science
550. Pattern Matching for Translating Domain-Specific Terms from Large Corpora Fung, Pascale 1995 Reports Computer science
552. Strong tractability of weighted tensor products Wozniakowski, Henryk 1995 Reports Computer science
553. The Complexity of the Poisson Problem for Spaces of Bounded Mixed Derivatives Werschulz, Arthur G. 1995 Reports Computer science
554. The Cord Approach to Extensible Concurrency Control Heineman, George T.; Kaiser, Gail E. 1995 Reports Computer science
555. The Gigabit per Second Isochronet Switch Florissi, Danilo; Yemini, Yechiam 1995 Reports Computer science
556. Tractable Reasoning in Knowledge Representation Systems Dalal, Mukesh 1995 Reports Computer science
557. What Is the Complexity of Solution-Restricted Operator Equations? Werschulz, Arthur G. 1995 Reports Computer science
558. A 3-level Atomicity Model for Decentralized Workflow Management Systems Ben-Shaul, Israel Z.; Heineman, George T. 1996 Reports Computer science
559. A Metalinguistic Approach to Process Enactment Extensibility Kaiser, Gail E.; Ben-Shaul, Israel Z.; Popovich, Steven S.; Dossick, Stephen E. 1996 Reports Computer science
561. An Architecture for Integrating OODBs with WWW Yang, Jack Jingshuang; Kaiser, Gail E. 1996 Reports Computer science
562. An Architecture for WWW-based Hypercode Environments Kaiser, Gail E.; Dossick, Stephen E.; Jiang, Wenyu; Yang, Jack Jingshuang 1996 Reports Computer science
563. An Extensible Meta-Learning Approach for Scalable and Accurate Inductive Learning Chan, Philip K. 1996 Reports Computer science
564. Architectures for Federation of Process-Centered Environments Ben-Shaul, Israel Z.; Kaiser, Gail E. 1996 Reports Computer science
565. Closed Terminologies and Temporal Reasoning in Description Logic for Concept and Plan Recognition Weida, Robert Anthony 1996 Reports Computer science
566. Computational complexity of continuous problems Wozniakowski, Henryk 1996 Reports Computer science
567. Concurrency-Oriented Optimization for Low-Power Asynchronous Systems Plana, Luis A.; Nowick, Steven M. 1996 Reports Computer science
568. Distributed Tool Services via the World Wide Web Dossick, Stephen E.; Kaiser, Gail E.; Yang, Jack Jingshuang 1996 Reports Computer science
569. Estimating a largest eigenvector by polynomial algorithms with a random start Leyk, Z.; Wozniakowski, Henryk 1996 Reports Computer science
570. Faster valuation of financial derivatives Paskov, Spassimir; Traub, Joseph F. 1996 Reports Computer scienceFinance
573. Incremental Process Support for Code Reengineering: An Update (Experience Report) Kaiser, Gail E.; Heineman, George T.; Skopp, Peter D.; Yang, Jack Jingshuang 1996 Reports Computer science
574. New methodologies for valuing derivatives Paskov, Spassimir 1996 Reports Computer scienceFinance
575. New Results on Deterministic Pricing of Financial Derivatives Papageorgiou, Anargyros; Traub, Joseph F. 1996 Reports Computer scienceFinance
578. OzCare: A Workflow Automation System for Care Plans Lee, Wenke; Kaiser, Gail E.; Clayton, Paul D.; Sherman, Eric H. 1996 Reports Computer science
579. Reflectance and Texture of Real-World Surfaces Dana, Kristin J.; Nayar, Shree K.; Ginneken, Bram van; Koenderink, Jan J. 1996 Reports Computer science
580. The complexity of definite elliptic problems with noisy data Werschulz, Arthur G. 1996 Reports Computer science
581. The exponent of discrepancy is at most 1.4778 . . . Wasilkowski, Grzegorz W.; Wozniakowski, Henryk 1996 Reports Computer science
582. Adapting Materialized Views after Redefinitions: Techniques and a Performance Study Gupta, Ashish; Mumick, Inderpal S.; Rao, Jun; Ross, Kenneth A. 1997 Reports Computer science
584. Applying Reliability Metrics to Co-Reference Annotation Passonneau, Rebecca 1997 Reports Computer science
585. A Risk-Reward Framework for the Competitive Analysis of Adaptive Trading Strategies Al-Binali, Sabah 1997 Reports Computer science
586. A Theory of Catadioptric Image Formation Nayar, Shree K.; Baker, Simon 1997 Reports Computer science
587. Automated Visual Discourse Synthesis: Coherence, Versatility, and Interactivity Zhou, Michelle X. 1997 Reports Computer science
588. Building a Rich Large-scale Lexical Base for Generation Jing, Hongyan; McKeown, Kathleen; Passonneau, Rebecca J. 1997 Reports Computer science
589. Do Negative Results from Formal Systems Limit Scientific Knowledge? Traub, Joseph F. 1997 Reports Computer science
590. Federating Process-Centered Environments: The Oz Experience Ben-Shaul, Israel Z.; Kaiser, Gail E. 1997 Reports Computer science
591. Generating Natural Language Summaries from Multiple On-Line Sources Radev, Dragomir R. 1997 Reports Computer science
592. Non-Computability and Intractability: Does It Matter to Physics? Traub, Joseph F. 1997 Reports Computer science
593. On the management of distributed learning agents Prodromidis, Andreas L. 1997 Reports Computer science
594. On the Parameter Estimation Accuracy of Model-Matching Feature Detectors Baker, Simon 1997 Reports Computer science
595. The Competitive Analysis of Risk Taking with Application to Online Trading Al-Binali, Sabah 1997 Reports Computer science
596. The complexity of indefinite elliptic problems with noisy data Werschulz, Arthur G. 1997 Reports Computer science
598. Where does smoothness count the most for two-point boundary-value problems? Werschulz, Arthur G. 1997 Reports Computer science
599. WWW-based Collaboration Environments with Distributed Tool Services Kaiser, Gail E.; Dossick, Stephen E.; Jiang, Wenyu; Yang, Jack Jingshuang; Ye, Sonny Xi 1997 Reports Computer science
600. Cache Conscious Indexing for Decision-Support in Main Memory Rao, Jun; Ross, Kenneth A. 1998 Reports Computer science