Tech Report Index By Author
Abadi, Daniel
Abiteboul, Serge
Acevedo, Daniel
Acharya, Swarup
- CS-97-15: Broadcast Disks: Dissemination-based Data Management for Asymmetric Communication Environments
- CS-94-43: Broadcast Disks: Data Management for Asymmetric Communication Environments
- CS-93-43: An Efficient Scheme for Dynamic Data Replication
Adcock, John
Agrawal, A.
Agrawal, Ajit
- CS-91-19: Approximating Fill in Solving Sparse Linear Systems
- CS-91-18: Ordering Problems Approximated: Register Sufficiency, Single-Processor Scheduling and Interval Graph
- CS-91-17: An Approximate Max-flow Min-cut Relation for Multicommodity Flow and its Applications
- CS-90-32: When Trees Collide: An Approximation Algorithm for the Generalized Steiner Problem on Networks
- CS-90-05: Fault-Tolerant Computing on Trees
Agrawal, Ajit Kumar
Ahmad, Yanif
- CS-06-05: Extensible Profile-driven Data Dissemination
- CS-04-08: The Design of the Borealis Stream Processing Engine
Akdere, Mert
- CS-11-02: Continuos Probabilistic Data Assocation with Constraints
- CS-11-01: Learning-based Query Performance Modeling and Prediction
- CS-08-01: Plan-based Complex Event Detection across Distributed Sources
Alonso, Rafael
Altun, Yasemin
- CS-04-12: Gaussian Process Classification for Segmenting and Annotating Sequences
- CS-03-23: Gaussian Process Classification for Segmenting and Annotating Sequences
Anagnostopoulos, A.
Anagnostopoulos, Aris
Andrews, Stuart
- CS-06-06: A Cutting-Plane Algorithm for Learning from Ambiguous Examples
- CS-02-15: Visualization of Contact Areas and Ligament Paths in Joints
Apgar, Scott
Apgar, Scott W.
Aron, Ionut
Atallah, Mikhail J.
Babes-Vroman, Monica
Backman, Nathan
Baker, J.E.
Balakrishnan, Hari
Balasubramanian, Ramprasad
Balazinska, Magdalena
- CS-04-08: The Design of the Borealis Stream Processing Engine
- CS-04-05: High-Availability Algorithms for Distributed Stream Processing
- CS-03-17: A Comparison of Stream-Oriented High-Availability Algorithms
Banchoff, Thomas F.
Barman, Dilip K.
Baskin, Jacob
- CS-09-07: Preference Aggregation in Group Recommender Systems for Committee Decision-Making
- CS-09-04: Flapjax: A Programming Language for Ajax Applications
Basye, K.
Basye, Kenneth
Battista, G.
Battista, Giuseppe Di
- CS-99-04: Turn-Regularity and Optimal Area Drawings of Orthogonal Representations
- CS-96-25: Output-Sensitive Reporting of Disjoint Paths
- CS-96-24: Drawing Directed Acyclic Graphs: An Experimental Study (Preliminary Version)
- CS-95-26: On-Line Convex Planarity Testing
- CS-94-46: Optimal Upward Planarity Testing of Single-Source Digraphs
- CS-90-10: Area Requirement and Symmetry Display of Planar-Upward Drawings
- CS-89-31: On-Line Planarity Testing
Belenkiy, Mira
Benhamou, F.
Bent, Russell
- CS-03-22: The Value of Consensus in Online Stochastic Scheduling
- CS-03-16: A Simple and Deterministic Competitive\\ Algorithm for Online Facility Location
- CS-03-10: Dynamic Vehicle Routing with Stochastic Requests
- CS-01-06: A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows
Bent, Russell W.
Berkeley,
Berland, Matthew
Bertolazzi, Paola
Bhuphaibool, Dom
Bilardi, Gianfranco
- CS-95-17: Processor-Time Tradeoffs under Bounded-Speed Message Propagation: Part I, Upper Boundes
- CS-93-20: Horizons of Parallel Computation
Bj{\o}rnestad, Solveig
Black, Michael
Black, Michael J.
- CS-10-03: A Quantitative Analysis of Current Practices in Optical Flow Estimation and the Principles Behind Them
- CS-07-03: Denoising Archival Films using a Learned Bayesian Model
- CS-06-08: HumanEva: Synchronized Video and Motion Capture Dataset for Evaluation of Articulated Human Motion
- CS-04-15: The Dense Estimation of Motion and Appearance in Layers
Blundell, Colim
Boddy, Mark
- CS-89-13: Investigations of Model-Preference Defaults
- CS-89-03: Solving Time-Dependent Planning Problems
Boddy, Mark Steven
Borger, J.
Borradaile, Glencora
Boyer, Robert
Braem, C.
Bragdon, Andrew
- CS-09-09: Creating Simultaneous Views of Source Code in Contemporary IDEs Using Tap Panes and MDI Child Windows: A Pilot Study
- CS-08-06: GestureBar: A Training-Free Approach to Disclosing\\ and Teaching Gestures
Breuer, Kenneth
Bridgeman, Stina
Bromfield, Aleks
Brown, Marc H.
Brown, Mark
Buchsbaum, Adam L.
Bull, Christopher
Buss, Jonathan F.
California, University of
Calistri, Randall J.
- CS-90-11: Classifying and Detecting Plan-Based Misconceptions for Robust Plans
- CS-89-37: An Annotated Compendium of Naturally Occurring Plan-Based Misconceptions
- CS-89-16: Classifying and Detecting Plan-Based Misconceptions
Camus, Ted
Camus, Theodore Armand
Cantrill, Bryan M.
Caraballo, Sharon A.
Carney, Don
- CS-02-04: Monitoring Streams - A New Class of Data Management Applications
- CS-02-01: Monitoring Streams - A New Class of DBMS Applications
Carroll, Glenn
- CS-94-08: Combining Grammars For Improved Learning
- CS-94-07: Context-Sensitive Statistics for Improved Grammatical Language Models
- CS-94-06: Taggers for Parsers
- CS-92-16: Two Experiments on Learning Probabilistic Dependency Grammars from Corpora
- CS-91-44: A Probabilistic Analysis of Marker-Passing Techniques for Plan Recognition
Cassandra, A.
Cassandra, Anthony
Cassandra, Anthony R.
- CS-96-08: Planning and Acting in Partially Observable Stochastic Domains
- CS-95-19: Efficient dynamic-programming updates in partially observable Markov decision processes
- CS-94-20: Acting Optimally in Partially Observable Stochastic Domains
- CS-94-14: Optimal Policies for Partially Observable Markov Decision Processes
Casta\~nos, Jos\'{e}G.
Castanos, Jose
Castanos, Jose Gabriel
Ceri, Stefano
Cervone, D.
Cetintemel, Ugur
- CS-11-02: Continuos Probabilistic Data Assocation with Constraints
- CS-11-01: Learning-based Query Performance Modeling and Prediction
- CS-10-01: C-MR: A Continuous MapReduce Processing Model for Low-Latency Stream Processing on Multi-Core Architectures
- CS-08-01: Plan-based Complex Event Detection across Distributed Sources
- CS-07-06: XFlow: Internet-scale Distributed Stream Processing
- CS-06-05: Extensible Profile-driven Data Dissemination
- CS-04-10: SemCast: Semantic Multicast for Content-based Data Dissemination
- CS-04-08: The Design of the Borealis Stream Processing Engine
- CS-04-05: High-Availability Algorithms for Distributed Stream Processing
- CS-03-17: A Comparison of Stream-Oriented High-Availability Algorithms
- CS-03-03: Load Shedding in a Data Stream Manager
- CS-02-12: Load Shedding in a Data Stream Manager
- CS-02-04: Monitoring Streams - A New Class of Data Management Applications
- CS-02-01: Monitoring Streams - A New Class of DBMS Applications
Charlier, B. Le
- CS-94-17: Cardinality Analysis of Prolog
- CS-94-16: An Abstract Interpretation Framework for (almost) Full Prolog
- CS-93-52: Type Analysis of Prolog Using Type Graphs
- CS-93-13: Conceptual and Software Support for Abstract Domain Design: Generic Structural Domain and Open Product
Charlier, Baudouin Le
- CS-93-05: Abstract Interpretation of Prolog Based on OLDT Resolution
- CS-92-49: Groundness Analysis for Prolog: Implementation and Evaluation of the Domain Prop
- CS-92-25: A Universal Top-Down Fixpoint Algorithm
- CS-92-12: Reexecution in Abstract Interpretation of Prolog
- CS-91-67: Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation
- CS-91-55: Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog
- CS-90-25: A Generic Abstract Interpretation Algorithm and its Complexity Analysis (extended abstract)
Charniak, Eugene
- CS-07-04: A Generative Discourse-New Model for Text Coherence
- CS-99-12: A Maximum-Entropy-Inspired Parser
- CS-99-02: Finding Parts in Very Large Corpora
- CS-98-06: Getting Useful Gender Statistics from English Text
- CS-96-37: Expected-Frequency Interpolation
- CS-96-12: Figures of Merit for Best-First Probabilistic Chart Parsing
- CS-96-02: Tree-bank Grammars
- CS-95-29: A Statistical Syntactic Disambiguation Program and What it Learns
- CS-95-28: Parsing with Context-Free Grammars and Word Statistics
- CS-94-08: Combining Grammars For Improved Learning
- CS-94-07: Context-Sensitive Statistics for Improved Grammatical Language Models
- CS-94-06: Taggers for Parsers
- CS-92-16: Two Experiments on Learning Probabilistic Dependency Grammars from Corpora
- CS-91-44: A Probabilistic Analysis of Marker-Passing Techniques for Plan Recognition
- CS-91-12: Probabilistic Abduction for Plan Recognition
- CS-91-11: A New Admissible Heuristic for Minimal-Cost Proofs
- CS-90-13: A Probabilistic Approach to Text Understanding
- CS-90-02: Probabilistic Semantics for Cost-Based Abduction
Chase, David R.
Chase, Melissa
Chatzi, Vasiliki
- CS-00-03: Using Pyramids in Mixed Meshes - Point Placement and Basis Functions
- CS-99-01: Introduction to Integer-Coordinate Crystalline Meshes
Chen, Jian
Cherniack, Mitch
- CS-04-08: The Design of the Borealis Stream Processing Engine
- CS-03-03: Load Shedding in a Data Stream Manager
- CS-02-12: Load Shedding in a Data Stream Manager
- CS-02-04: Monitoring Streams - A New Class of Data Management Applications
- CS-02-01: Monitoring Streams - A New Class of DBMS Applications
Chiang, Yi-Jen
- CS-95-27: Dynamic and I/O-Efficient Algorithms for Computational Geometry and Graph Problems: Theoretical and Experimental Results
- CS-95-07: Experiments on the Practical I/O Efficiency of Geometric Algorithms: Distribution Sweep vs. Plane Sweep
- CS-94-34: External-Memory Graph Algorithms (extended abstract)
- CS-94-03: Optimal Shortest Path and Minimum-Link Path Queries Between Two Convex Polygons in the Presence of Obstacles
- CS-92-07: A Unified Approach to Dynamic Point Location, Ray Shooting and Shortest Paths in Planar Maps
- CS-92-06: Dynamization of the Trapezoid Method for Planar Point Location in Monotone Subdivisions
- CS-91-24: Dynamic Algorithms in Computational Geometry
Chowdhury, Anir
Cohen, R.
Cohen, R.F.
Cohen, Robert F.
- CS-92-45: Combine and Conquer
- CS-92-19: Combine and Conquer
- CS-91-02: Fully Dynamic Techniques for Reachability in Planar sT-graphs
- CS-90-35: Dynamic Expression Trees
Conner, D. Brookshire
- CS-93-33: Supporting Graphics Using Delegation and Multi-Methods
- CS-92-46: Efficient Rendering on Massively Parallel Architectures
- CS-92-01: UGA Software Standards
- CS-91-10: An Object-Oriented Framework for the Integration of Interactive Animation Techniques
Conner, D.B.
Convey, Christian
Cook, William
Cook, William R.
Cooper, Greg
Cooper, Gregory
Corrado, Greg
- CS-10-02: Sparse Spatiotemporal Coding for Activity Recognition
- CS-09-08: Recursive Sparse, Spatiotemporal Coding
Corrado, Greg S.
Cortesi, A.
- CS-93-52: Type Analysis of Prolog Using Type Graphs
- CS-93-13: Conceptual and Software Support for Abstract Domain Design: Generic Structural Domain and Open Product
Crisco, Joseph
Cruz, I.F.
Cruz, Isabel F.
- CS-93-58: User-Defined Visual Languages for Querying Data
- CS-93-57: Expressing Constraints for Data Display Specification: A Visual Approach
Cutler, Clark
Cytron, Ron
- CS-91-21: Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
- CS-88-16: An Efficient Method of Computing Static Single Assignment Form
Dai, Peng
Dayal, Umeshwar
- CS-91-41: Object-Oriented Query Optimization: What's the Problem?
- CS-91-38: An Architecture for Query Processing in Persistent Object Stores
Dean, Thomas
- CS-12-01: Three Controversial Hypotheses Concerning Computation in the Primate Cortex
- CS-10-02: Sparse Spatiotemporal Coding for Activity Recognition
- CS-09-08: Recursive Sparse, Spatiotemporal Coding
- CS-06-14: Learning Invariant Features Using Inertial Priors
- CS-05-13: Hierarchical Expectation Refinement for Learning Generative Perception Models
- CS-00-02: Linear Algebra in Very High-Dimension Vector Spaces: Algorithms and Data Structures for Implementing Exact and Approximate Solution Methods
- CS-97-05: Bounded Parameter Markov Decision Processes
- CS-95-10: Decomposition Techniques for Planning in Stochastic Domains
- CS-94-35: Deliberation Scheduling for Time-Critical Scheduling in Stochastic Domains
- CS-94-13: Localized Temporal Reasoning Using Subgoals and Abstraction
- CS-93-55: Planning Under Time Constraints in Stochastic Domains
- CS-93-24: Exploiting Locality in Temporal Reasoning
- CS-92-26: Package Routing in Transportation Networks with Fixed Vehicle Schedules: Formulation, Complexity Results and Approximation Algorithms
- CS-92-14: A Formal Description of the Transportation Problem
- CS-89-44: Decision-Theoretic Control of Inference for Time-Critical Applications
- CS-89-27: Coping with Uncertainty in Map Learning
- CS-89-04: A Model for Reasoning About Persistence and Causation
- CS-89-03: Solving Time-Dependent Planning Problems
Dean, Thomas L.
Degimbe, Oliver
Demiralp, Cagatay
desJardins, Marie
Deville, Y.
Deville, Yves
- CS-01-05: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- CS-01-04: Optimal Pruning in Parametric Differential Equations
- CS-93-02: Design, Implementation, and Evaluation of the Constraint Language cc(FD)
- CS-91-65: A Generic Arc Consistency Algorithm and Its Specializations
- CS-90-36: Efficient Arc Consistency Algorithm for a Class of CSP Problems
- CS-90-24: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming
- CS-90-23: Operational Semantics of Constraint Logic Programming over Finite Domains
Devillers, Olivier
- CS-97-11: Checking the Convexity of Polytopes and the Planarity of Subdivisions
- CS-96-27: A Probabilistic Analysis of the Power of Arithmetic Filters
Didimo, Walter
Dincbas, Mehmet
Doeppner Jr., Thomas W.
- CS-95-36: VTRACE and Communication Performance Analysis
- CS-93-59: Open Software: UNIX, DCE, and Competitors
- CS-93-53: The Thread-Monitor Library: A System Monitoring Solaris-Threads Programs
- CS-92-60: Open Software UNIX/OSF/UI, Etc.
- CS-88-19: A Threads Tutorial - Fortran Version
Domingues, Eladio
Dooms, Gregoire
Duby, Carolyn K.
- CS-93-12: Constraining the Structure and Style of Object-Oriented Programs
- CS-92-51: CCEL: A Metalanguage for C++
Eades, Peter
Egan, Kevin T.
Ehrens, David
Elberty, Liam
Elsner, Micha
Englebert, Vincent
Ersan, Murat
Erway, C. Chris
Everitt, Cass
Ewald, Alan N.
Fablet, Ronan
Fernandez, Mary F.
- CS-90-27: ObServer: A Storage System for Object-Oriented Applications
- CS-90-03: Cooperative Transaction Hierarchies
Ferrante, Jeanne
- CS-91-21: Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
- CS-88-16: An Efficient Method of Computing Static Single Assignment Form
Fisler, Kathi
- CS-09-05: Escape From the Matrix: Lessons from a Case-Study in Access-Control Requirements
- CS-03-07: A Constraint-Based Approach to Open Feature Verification
Fonseca, Rodrigo
Forsberg, Andrew
- CS-02-17: Directly Rendering Spectral Elements Using Texture Shaders
- CS-02-14: Color Rapid Prototyping for Scientific Visualization: Diffusion Tensor MRI Visualization and Topographical Exploration of Mars
Forsberg, Andrew S.
- CS-05-04: Look-That-There: Exploiting Gaze in Virtual Reality Interactions
- CS-05-02: A Comparison of a Cave and A Fish Tank VR system for Counting Biological Features in a Volume
Frances, Angel
Franklin, Michael
Frikken, Keith B.
G.Liotta,
Gardy, Daniele
- CS-91-53: On Coefficients of Powers of Functions
- CS-91-29: Saddle Point Techniques in Asymptotic Coding Theory
Garg, Ashim
- CS-96-24: Drawing Directed Acyclic Graphs: An Experimental Study (Preliminary Version)
- CS-96-13: Where to Draw the Line
- CS-94-10: On the Computational Complexity of Upward and Rectilinear Planarity Testing
Gervet, Carmen
Givan, Robert
Globus, Al
Gold, Melissa Y.
Goldin, D.
Goldin, Dina
- CS-04-14: The Orgins of the Turing Thesis Myth
- CS-99-14: Behavior and Expressiveness of Persistent Turing Machines
- CS-99-13: Mathematical Models of Interactive Computing
Goldin, Dina Q
Goldman, Robert
Goldman, Robert P.
- CS-90-17: A Logic-Programming Approach to All-Paths Parsing
- CS-90-13: A Probabilistic Approach to Text Understanding
- CS-89-13: Investigations of Model-Preference Defaults
Goldman, Robert Prescott
Goldwasser, M.
Goldwater, Sharon
Golin, Eric J.
- CS-90-19: A Method for the Specification and Parsing of Visual Languages
- CS-89-06: Parsing in a Visual Language Environment
- CS-89-05: Representing Visual Programs with Object-Graphs
Gondek, David
Goodrich, Michael T.
- CS-94-34: External-Memory Graph Algorithms (extended abstract)
- CS-92-44: Blocking for External Graph Searching
Google,
- CS-09-07: Preference Aggregation in Group Recommender Systems for Committee Decision-Making
- CS-09-04: Flapjax: A Programming Language for Ajax Applications
- CS-09-04: Flapjax: A Programming Language for Ajax Applications
Gordon, Colin S.
Gordon, Geoff
Gotoh, Yoshihiko
Gottlieb, Lee-Ad J.
Greenberg, Michael
Greenberg, Micheal Matthew
Greenfield, Eliot
Greenwald, Amy
- CS-10-04: An Elementary Proof of the Markov Chain Tree Theorem
- CS-08-04: Marginal Bidding: An Application of the Equimarginal Principle to Bidding in TAC SCM
- CS-07-10: No-Regret Learning in Convex Games
- CS-06-15: Heuristics for the Deterministic Bidding Problem: Lessons from TAC Travel
- CS-06-10: Bounds for Regret-Matching Algorithms
- CS-06-01: Blackwell's Approachability Theorem: A Generalization in a Special Case
- CS-05-16: Bid Determination in Simultaneous Auctions
- CS-05-08: Correlated Q-Learning
- CS-05-07: A Direct Proof of the Existense of Correlated Equilibrium Policies in General-Sum Markov Games
- CS-04-09: Varieties of Regret in Online Prediction
Greenwald, Lloyd
- CS-94-41: Time-Critical Planning and Scheduling Research at Brown University
- CS-94-35: Deliberation Scheduling for Time-Critical Scheduling in Stochastic Domains
- CS-92-26: Package Routing in Transportation Networks with Fixed Vehicle Schedules: Formulation, Complexity Results and Approximation Algorithms
- CS-91-04: The Lark Project: Design of a Highly Parallel Programmable Logic Array
Greenwald, Lloyd G.
Grimm, Cindy
Grollman, Dan H.
Grollman, Daniel H
Grove, Edward F.
Guha, Arjun
- CS-11-04: Fluid Object Types
- CS-10-05: Runtime Type-Discovery for JavaScript
- CS-09-10: The Essence of JavaScript
- CS-09-04: Flapjax: A Programming Language for Ajax Applications
H.B.Netzer, Robert
Hale, John
Hall, Keith
Harkness, Cheryl L.
- CS-90-12: VLSI Placement Using Uncertain Costs
- CS-89-43: Improved Methods for Modeling Uncertainty in RC Timing Analysis
- CS-89-38: Modeling Uncertainty in RC Timing Analysis
- CS-89-07: Simulating Switch-Level Networks with Uncertain Transistor Strengths and Node Sizes
Harkness, Cheryl Lynn
Harper, Mary Patricia
Hazlehurst, Samuel E.
Heller, K. A.
Herlihy, Maurice
- CS-07-08: Transactional Boosting: A Methodology for Highly-Concurrent Transactional Objects
- CS-96-03: The Topological Structure of Asynchronous Computability
Hillebrand, G.
Hillebrand, Gerd
Hillebrand, Gerd G.
- CS-94-26: Functional Database Query Languages as Typed Lambda Calculi of Fixed Order
- CS-94-25: An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
- CS-94-24: Finite Model Theory in the Simply Typed Lambda Calculus
- CS-93-06: Database Query Languages Embedded in the Typed Lambda Calculus
- CS-92-20: Undecidable Boundedness Problem For Datalog Program
Hoang, Dzung T.
Hoang, Dzung Tien
Hofmann, Thomas
- CS-06-06: A Cutting-Plane Algorithm for Learning from Ambiguous Examples
- CS-04-12: Gaussian Process Classification for Segmenting and Annotating Sequences
- CS-03-23: Gaussian Process Classification for Segmenting and Annotating Sequences
Holden, Loring
Howard, Paul G.
- CS-92-18: Practical Implementations of Arithmetic Coding
- CS-92-17: Analysis of Arithmetic Coding for Data Compression
- CS-91-47: New Methods for Lossless Image Compression Using Arithmetic Coding
- CS-91-45: Practical Implementations of Arithmetic Coding
- CS-91-03: Analysis of Arithmetic Coding for Data Compression
Howard, Paul Glor
Huang, Nate
Hubbard, P.
Hubbard, Philip M.
- CS-95-08: Collision Detection for Interactive Graphics Applications
- CS-93-04: Space-Time Bounds for Collision Detection
- CS-91-30: UGA: A Unified Graphics Architecture
- CS-90-07: Constructive Solid Geometry for Triangulated Polyhedra
Hudson, Benoit
Hueso, Eduardo
Hughes, John F.
- CS-04-16: Customizable Presentations
- CS-04-03: Animation Sketching: An Approach to Accessible Animation
- CS-03-19: Fast, Practical and Robust Shadows
- CS-03-05: Differential Geometry of Implicit Surfaces in 3-Space - A Primer
Hughey, Richard
- CS-89-32: The B-SYS Programmable Systolic Array
- CS-89-08: An Architecture for Programmable Systolic Arrays
Hughey, Richard Paul
Hunt III, H.B.
Husain, Saadia
Hwang, Jeong-Hyon
- CS-04-08: The Design of the Borealis Stream Processing Engine
- CS-04-05: High-Availability Algorithms for Distributed Stream Processing
- CS-03-17: A Comparison of Stream-Oriented High-Availability Algorithms
I.G.Tollis,
IEEE,
- CS-08-10: Effects of Illumination, Texture, and Motion on Task Performance in Streamtube Visualization of Deffusion Tensor MRI
- CS-08-10: Effects of Illumination, Texture, and Motion on Task Performance in Streamtube Visualization of Deffusion Tensor MRI
Imbert, J.L.
Imbert, Jean-Louis
- CS-92-11: A Note on Redundant Linear Constraints
- CS-91-23: Efficient Handling of Disequations in CLP Over Linear Rational Arithmetic
Jackson, Cullen D.
Jafari, Amir
Jannotti, \\ John
Jannotti, John
- CS-07-06: XFlow: Internet-scale Distributed Stream Processing
- CS-06-05: Extensible Profile-driven Data Dissemination
- CS-04-08: The Design of the Borealis Stream Processing Engine
Janssen, M.
Janssen, Micha
- CS-02-06: Precisely A(alpha)-stable One-Leg Multistep Methods
- CS-02-02: Shifted Slope-Comparison Multistep Formulas for ODEs
- CS-01-05: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- CS-01-04: Optimal Pruning in Parametric Differential Equations
Jenkins, Odest Chad
Jenkins, Odest Chadwicke
- CS-05-12: Real-time Silhouette Intersection by Maintaining the Distribution of Occupancy
- CS-05-11: Extensible Data-driven Classification of Robot Sensor Data
Kaelbling, L.
Kaelbling, Leslie
Kaelbling, Leslie Pack
- CS-97-04: Learning Hidden Markov Models with Geometric Information
- CS-96-08: Planning and Acting in Partially Observable Stochastic Domains
- CS-95-19: Efficient dynamic-programming updates in partially observable Markov decision processes
- CS-94-41: Time-Critical Planning and Scheduling Research at Brown University
- CS-94-39: A Bibliography of Work Related to Reinforcement Learning
- CS-94-20: Acting Optimally in Partially Observable Stochastic Domains
- CS-93-55: Planning Under Time Constraints in Stochastic Domains
Kalafarski, E. J.
Kanazawa, Keiji
- CS-92-61: Reasoning about Time and Probability
- CS-89-13: Investigations of Model-Preference Defaults
- CS-89-04: A Model for Reasoning About Persistence and Causation
Kanellakis, Paris
- CS-94-28: Functional Programming Formalisms for OODB Methods
- CS-94-26: Functional Database Query Languages as Typed Lambda Calculi of Fixed Order
- CS-94-09: Indexing for Data Models with Constraints and Classes
- CS-92-33: Method Schemas
- CS-89-26: Object Identity As A Query Language Primitive
Kanellakis, Paris C.
- CS-95-15: OODB Indexing by Class-Division
- CS-94-31: Constraint Programming and Database Query Languages
- CS-94-29: Efficient Parallelism vs Reliable Distribution: a Trade-off for Concurrent Computations
- CS-94-25: An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
- CS-94-23: Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms
- CS-93-21: Indexing for Data Models with Constraints and Classes
- CS-93-06: Database Query Languages Embedded in the Typed Lambda Calculus
- CS-92-50: Constraint Query Languages
- CS-92-20: Undecidable Boundedness Problem For Datalog Program
- CS-91-54: Parallel Algorithms with Processor Failures and Delays
- CS-91-36: Efficient Parallel Algorithms on Restartable Fail-stop Processors
- CS-90-31: Constraint Query Languages
- CS-90-26: Unification and ML Type Reconstruction
- CS-89-40: Polymorphic Unification of ML Typing
- CS-89-39: Elements of Relational Database Theory
- CS-89-35: Efficient Parallel Algorithms Can Be Made Robust
- CS-89-21: A Data Structure for Arc Insertion and Regular Path Finding
Kang, Sarah
Kant, G.
Kapur, D.
Karelitz, David B.
Karniadakis, George
Katriel, Irit
Katz, Jeremy
Keefe, Daniel F.
Kenyon-Mathieu, Claire M.
Khan, Numair
Kilgard, Mark
Kim, Kee-Eung
Kim, Min H.
Kirby, R.M.
Kirman, Jak
- CS-94-44: Predicting Real-Time Planner Preformance by Domain Characterization
- CS-93-55: Planning Under Time Constraints in Stochastic Domains
Klein, P.
Klein, Philip
- CS-94-12: Faster Shortest-Path Algorithms for Planar Graphs
- CS-92-54: A Nearly best-possible approximation algorithm for node-weighted Steiner trees
- CS-92-30: When Cycles Collapse: A General Approximation Technique for Constrained Two-Connectivity Problems
- CS-91-48: Parallel Algorithms for Chordal Graphs
- CS-91-43: Faster Approximation Algorithms for the Unit-Capacity Concurrent Flow Problem with Applications to Routing and Finding Sparse Cuts
- CS-91-19: Approximating Fill in Solving Sparse Linear Systems
- CS-91-18: Ordering Problems Approximated: Register Sufficiency, Single-Processor Scheduling and Interval Graph
- CS-91-17: An Approximate Max-flow Min-cut Relation for Multicommodity Flow and its Applications
- CS-90-32: When Trees Collide: An Approximation Algorithm for the Generalized Steiner Problem on Networks
Klein, Philip N.
- CS-96-07: Efficient Approximation Algorithms for Semidefinite Programs Arising from MAX CUT and COLORING
- CS-93-49: A Randomized Linear-Time Algorithm for Finding Minimum Spanning Trees
- CS-93-47: A Data Structure for Bicategories with Application to Speeding Up an Approximation Algorithm
- CS-93-35: A Linear-Processor Polylog-Time Algorithm for Shortest Paths in Planar Graphs
- CS-93-30: Bounds on the Max-Flow Min-Cut Ratio for Directed Multicommodity Flows
- CS-93-29: Detecting Race Conditions in Parallel Programs That Use One Semaphore
- CS-91-58: Approximating Concurrent Flow with Uniform Demands and Capacities: An Implementation
- CS-91-56: A Parallel Randomized Approximation Scheme for Shortest Paths
- CS-90-16: Parallelism, Preprocessing, and Reachability: A Hybrid Algorithm for Directed Graphs
Knobe, Kathleen
Koskinen, Eric
Krishnamurthi, Shriram
- CS-13-02: Verifying Web Browser Extensions' Compliance with Private-Browsing Mode
- CS-11-04: Fluid Object Types
- CS-10-05: Runtime Type-Discovery for JavaScript
- CS-09-10: The Essence of JavaScript
- CS-09-07: Preference Aggregation in Group Recommender Systems for Committee Decision-Making
- CS-09-05: Escape From the Matrix: Lessons from a Case-Study in Access-Control Requirements
- CS-09-04: Flapjax: A Programming Language for Ajax Applications
- CS-06-12: ASM Relational Transducer Security Policies
- CS-06-04: Towards Reasonability Properties for Access-Control Policy Languages with Extended XACML Analysis
- CS-03-20: FrTime: Functional Reactive Programming in PLT Scheme
- CS-03-07: A Constraint-Based Approach to Open Feature Verification
- CS-02-13: A Semantics for Pointcuts and Advice in Higher-Order Languages
Krishnan, P.
- CS-95-24: Online Prediction Algorithms for Databases and Operating Systems
- CS-91-59: Combinatorial Optimization 1990: Lecture Notes
- CS-91-46: Optimal Prefetching via Data Compression
Kruckman, Alex
Kupcu, Alptekin
Kuper, Gabriel M.
Kurien, J.
Laidlaw, David
- CS-02-18: Hierarchical Clustering of Streamtubes
- CS-02-16: Simulation and Visualization of Air Flow Around Bat Wings During Flight
- CS-02-15: Visualization of Contact Areas and Ligament Paths in Joints
- CS-02-14: Color Rapid Prototyping for Scientific Visualization: Diffusion Tensor MRI Visualization and Topographical Exploration of Mars
Laidlaw, David H.
- CS-08-10: Effects of Illumination, Texture, and Motion on Task Performance in Streamtube Visualization of Deffusion Tensor MRI
- CS-05-09: Comparative Evaluation of Desktop and Cave Environments for Learning Hypercube Rotations
- CS-04-06: Visualization of the interaction of multiple sclerosis lesions with adjacent white matter fibers using streamtubes and streamsurfaces
- CS-03-26: Using CavePainting to Create Scientific Visualizations
Lamagna, Edmund A.
Landon, Benjamin R.
Langworthy, D.
Langworthy, David E.
- CS-95-22: On the use of Asynchrony in achieving Extensibility and High Performance in an object Storage System
- CS-94-22: Storage Class Extensibility in the Brown Object Storage System
- CS-93-45: Extensible High-Performance Support for Persistence
LaViola Jr., Joseph J.
- CS-04-11: Fluid Inking: Using Punctuation to Allow Modeless Combination of Marking andGesturing
- CS-02-07: The Predictive Tracking Algorithm Testing Suite: A Tool for Developing and Analyzing Predictive Tracking Algorithms
- CS-01-03: Immersive Hierarchical Visualization and Steering for Spectral/hp Element Methods
- CS-99-15: Whole-Hand and Speech Input in Virtual Environments
- CS-99-11: A Survey of Hand Posture and Gesture Recognition Techniques and Technology
- CS-99-09: A Discussion of Cybersickness in Virtual Environments
- CS-99-08: The Coach's Playbook
- CS-97-17: Analysis of Mouse Movement Time based on Varying Control to Display Ratios using Fitts' Law
Leach, Sonia
Lease, Matthew
Lee, Sangdon
- CS-02-04: Monitoring Streams - A New Class of Data Management Applications
- CS-02-01: Monitoring Streams - A New Class of DBMS Applications
Lee, Seong Jae
Lejter, Luis David
Lejter, Moises
- CS-91-52: Support for Maintaining Object-Oriented Programs
- CS-91-51: Automatic Detection of C{\tt ++}Programming Errors: Initial Thoughts on a {\sf lint{\tt ++}}
Lenhart, William
Lerner, Benjamin S.
Leung, Theodore W.
- CS-94-05: Compiling Object-Oriented Queries
- CS-93-10: Ordered Types in the Aqua Data Model
- CS-93-09: The Aqua Data Model And Algebra
Li, Zheng
Lin, Jyh-Han
- CS-92-53: A Theory for Memory-Based Learning
- CS-92-37: Approximation Algorithms for Geometric Median Problems
- CS-92-29: Approximations with Minimum Packing Constraint Violation
- CS-90-01: Complexity Issues in Learning by Neural Nets
- CS-88-17: Learning in Parallel
Lin, Sheiu-Hong
Lin, Shieu-Hong
- CS-97-14: Exploiting Structure for Planning and Control
- CS-95-10: Decomposition Techniques for Planning in Stochastic Domains
- CS-93-24: Exploiting Locality in Temporal Reasoning
Lin, Yi-Jing
- CS-95-31: Configuration Management in Terms of Logical Structures
- CS-95-23: Configuration Management with Logical Structures
- CS-94-45: Configuration Management in terms of Modules
- CS-93-38: An Object-Centered Approach to Designing Programming Environments
- CS-91-37: A Framework for Automatic Algorithm Animation
Lin, Yueh-Hong
Lindner, Wolfgang
Liotta, G.
- CS-96-29: Area Requirement of Gabriel Drawings
- CS-96-23: Area Requirement of Visibility Representations of Trees
- CS-96-22: The Rectangle of Influence Drawability Problem
- CS-96-16: Robust Proximity Queries in Implicit Voronoi Diagrams
Liotta, Giuseppe
- CS-99-04: Turn-Regularity and Optimal Area Drawings of Orthogonal Representations
- CS-97-11: Checking the Convexity of Polytopes and the Planarity of Subdivisions
- CS-96-28: Low Degree Algorithms for Computing and Checking Gabriel Graphs
- CS-96-24: Drawing Directed Acyclic Graphs: An Experimental Study (Preliminary Version)
- CS-96-21: Proximity Drawings of Outerplanar Graphs (Preliminary Version)
Littman, Michael
Littman, Michael L.
- CS-96-11: Generalized Markov Decision Processes: Dynamic-programming and Reinforcement-learning Algorithms
- CS-96-10: A Generalized Reinforcement-Learning Model: Convergence and Applications
- CS-96-08: Planning and Acting in Partially Observable Stochastic Domains
- CS-95-19: Efficient dynamic-programming updates in partially observable Markov decision processes
- CS-94-40: The Witness Algorithm: Solving Partially Observable Markov Decision Processes
- CS-94-39: A Bibliography of Work Related to Reinforcement Learning
- CS-94-20: Acting Optimally in Partially Observable Stochastic Domains
Littman, Michael Lederman
Liu, Liyuan
Loper, Matthew Maverick
Lopresti, Daniel
Lopresti, Daniel P.
- CS-91-04: The Lark Project: Design of a Highly Parallel Programmable Logic Array
- CS-90-12: VLSI Placement Using Uncertain Costs
- CS-89-43: Improved Methods for Modeling Uncertainty in RC Timing Analysis
- CS-89-38: Modeling Uncertainty in RC Timing Analysis
- CS-89-32: The B-SYS Programmable Systolic Array
- CS-89-18: I/O Overhead and Parallel VLSI Architectures for Lattice Computations
- CS-89-07: Simulating Switch-Level Networks with Uncertain Transistor Strengths and Node Sizes
Lu, Hsueh-I
- CS-96-33: Efficient Approximation Algorithms for Some Semidefinite Programs
- CS-96-07: Efficient Approximation Algorithms for Semidefinite Programs Arising from MAX CUT and COLORING
- CS-96-06: A Near-linear-time Approximation Algorithm for Maximum-leaf Spanning Tree
- CS-96-05: The Power of Local Optimizations: Approximation Algorithms for Maximun-leaf Spanning Tree (DRAFT)*
- CS-93-29: Detecting Race Conditions in Parallel Programs That Use One Semaphore
Lu, Philip N. Klein Hsueh-I
Luks, D.
Lysyanskaya, Anna
MacGlashan, James
Madden, Samuel
Mairson, Harry G.
- CS-94-25: An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
- CS-93-06: Database Query Languages Embedded in the Typed Lambda Calculus
- CS-92-20: Undecidable Boundedness Problem For Datalog Program
- CS-90-26: Unification and ML Type Reconstruction
Mannino, Carlo
Manohar, Swaminathan
Marai, G.Elisabeta
Marathe, M.V.
Markosien, Lee
Marks, Casey
- CS-07-10: No-Regret Learning in Convex Games
- CS-06-10: Bounds for Regret-Matching Algorithms
- CS-06-01: Blackwell's Approachability Theorem: A Generalization in a Special Case
- CS-05-05: The Soundness and Completeness of Margrave with Respect to a Subset of XACML
- CS-04-09: Varieties of Regret in Online Prediction
Marquez, Alberto
Martins, Marcelo
Matejic, Larisa
Mayer, A.
McAllester, D.
- CS-95-01: Solving Polynomial Systems Using a Branch and Prune Approach
- CS-94-18: CLP (Intervals) Revisited
McCann, John
McClain, Andrew W.
McClosky, David
McCluskey, Peter C.
McGuire, Morgan
Meijer, A. Lubiw H.
Member,
Member, Senior
Mercier, Luc
Meyer, Tom
Meyerovich, Leo
Meyerovich, Leo A.
Meyerovich, Leo Alexander
Meyers, Scott
- CS-93-37: Facilitating Software Maintenance by Automated Detection of Constraint Violations
- CS-93-23: CCEL: The C++ Constraint Expression Language: An Annotated Reference Manual, Version 0.5
- CS-93-12: Constraining the Structure and Style of Object-Oriented Programs
- CS-93-03: FIELD Support for C++
- CS-92-51: CCEL: A Metalanguage for C++
- CS-91-52: Support for Maintaining Object-Oriented Programs
- CS-91-51: Automatic Detection of C{\tt ++}Programming Errors: Initial Thoughts on a {\sf lint{\tt ++}}
- CS-91-50: A System for Multiparadigm Development of Software Systems
- CS-89-02: Creating Graphical Languages in Garden
- CS-89-01: Annotating Software With Arbitrary Performance Characteristics
Meyers, Scott Douglas
Michailidis, Dimitris
- CS-94-29: Efficient Parallelism vs Reliable Distribution: a Trade-off for Concurrent Computations
- CS-94-23: Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms
Michel, L.
Michel, Laurent
- CS-07-09: Length-Lex Open Constraints
- CS-04-07: Constraint-Based Combinators for Local Search
- CS-04-01: Scheduling Abstractions for Local Search
- CS-03-21: Iterative Relaxations for Iterative Flattening in Cumulative Scheduling
- CS-03-06: Control Abstractions for Local Search
- CS-02-05: A Simple Tabu Search for Warehouse Location
- CS-01-02: Localizer++: An Open Library for local Search
- CS-00-07: OPL++: A Modeling Layer for Constraint Programming Libraries
- CS-98-03: Job-Shop Scheduling in Localizer
- CS-98-02: Localizer
- CS-97-03: Localizer: A Modeling Language for Local Search
- CS-95-33: Helios: A Modeling Language for Nonlinear Constraint Solv ing and Global Optimization using Interval Analysis
- CS-95-32: Helios: A Mathematical Modeling Language for Newton
- CS-95-25: Newton: Constraint Programming over Nonlinear Real Constraints
- CS-93-05: Abstract Interpretation of Prolog Based on OLDT Resolution
Miller, Barton P.
- CS-94-32: Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs
- CS-92-55: Experience with Techniques for Refining Data Race Detection
Miller, David M.
Miller, Timothy
- CS-05-10: Fluid Inking: Modeless Integration of Gestures with Inking
- CS-04-11: Fluid Inking: Using Punctuation to Allow Modeless Combination of Marking andGesturing
- CS-96-15: Hidden-Surfaces: Combining BSP Trees with Graph-Based Algorithms
- CS-95-06: Practically Frameless Rendering
Mitchell, Gail
- CS-93-09: The Aqua Data Model And Algebra
- CS-91-41: Object-Oriented Query Optimization: What's the Problem?
- CS-91-38: An Architecture for Query Processing in Persistent Object Stores
Mitchell, Gail Anne
Mitchell, John C.
Modart, S.
Moldovan, Teodor Mihai
Morgenstern, Leora
Moscovich, Tomer
- CS-04-16: Customizable Presentations
- CS-04-03: Animation Sketching: An Approach to Accessible Animation
Muresan, Smaranda
Musumbu, Kaninda
Nachbar, Curran
Naroditskiy, Victor
- CS-08-04: Marginal Bidding: An Application of the Equimarginal Principle to Bidding in TAC SCM
- CS-06-15: Heuristics for the Deterministic Bidding Problem: Lessons from TAC Travel
Netzer, Robert H. B.
- CS-96-04: Race-Condition Detection in Parallel Computation with Semaphores
- CS-94-19: Critical-Path-Based Message Logging for Incremental Replay of Message-Passing Programs
- CS-93-26: Adaptive Message Logging for Incremental Replay of Message-Passing Programs
- CS-93-25: Adaptive Independent Checkpointing for Reducing Rollback Propagation
- CS-92-55: Experience with Techniques for Refining Data Race Detection
Netzer, Robert H.B.
- CS-94-11: Optimal Tracing and Incremental Reexecution for Debugging Long-Running Programs
- CS-93-32: Necessary and Sufficient Conditions for Consistent Global Snapshots
- CS-93-29: Detecting Race Conditions in Parallel Programs That Use One Semaphore
- CS-93-27: Trace Size vs. Parallelism in Trace-and-Replay Debugging of Shared-Memory Programs
- CS-93-15: Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs
Ni, Wen-Chun
Nicholson, Ann
- CS-93-55: Planning Under Time Constraints in Stochastic Domains
- CS-93-31: Techniques for Handling Inference Complexity in Dynamic Belief Networks
Nodine, Marian H.
- CS-93-17: Interacctions: Multidatabase Support for Planning Applications
- CS-92-59: Supporting Reactive Planning Tasks on an Evolving Multidatabase
- CS-91-64: InterActions: Multidatabase Support for Planning Applications
- CS-91-63: The Whole Transaction Model for Heterogeneous Multidatabases
- CS-91-27: Conflict, Queueing, and Deadlocks in Cooperative Transaction Hierarchies
- CS-90-03: Cooperative Transaction Hierarchies
Nodine, Mark H.
- CS-92-44: Blocking for External Graph Searching
- CS-92-38: Optimal Deterministic Sorting in Parallel Memory Hierarchies
- CS-92-08: Optimal Deterministic Sorting on Parallel Disks
- CS-92-02: Large-Scale Sorting in Uniform Memory Hierarchies
- CS-91-20: Greed Sort: An Optimal External Sorting Algorithm for Multiple Disks
- CS-90-04: Greed Sort: An Optimal External Sorting Algorithm for Multiple Disks
- CS-89-18: I/O Overhead and Parallel VLSI Architectures for Lattice Computations
Nodine, Mark Howard
Odean, Tyler
Ortiz, Luis E.
Palmer, Mark
Palmer, Mark L.
Palsberg, Jens
Papaemmanouil, Olga
- CS-07-06: XFlow: Internet-scale Distributed Stream Processing
- CS-06-05: Extensible Profile-driven Data Dissemination
- CS-04-10: SemCast: Semantic Multicast for Content-based Data Dissemination
Pappas, Matthew Nicholas
Parise, Armando
Pattabiraman, Karthik
Peng, Bernard
Penney, Devon
Pennsylvania, University of
Pickering, Jeffry M.
Pietracaprina, A.
Pivkin, Igor
Plotkin, Serge
Plotkin, Serge A.
Politz, Joe Gibbs
Pollard, Nancy S.
- CS-04-04: Evaluating and Tuning Motion Graphs for Character Animation
- CS-99-08: The Coach's Playbook
Poole, Neal
Prabhat,
- CS-05-09: Comparative Evaluation of Desktop and Cave Environments for Learning Hypercube Rotations
- CS-02-14: Color Rapid Prototyping for Scientific Visualization: Diffusion Tensor MRI Visualization and Topographical Exploration of Mars
Preparata, F. P.
Preparata, F.P.
Preparata, Franco
Preparata, Franco P.
- CS-00-03: Using Pyramids in Mixed Meshes - Point Placement and Basis Functions
- CS-99-01: Introduction to Integer-Coordinate Crystalline Meshes
- CS-97-11: Checking the Convexity of Polytopes and the Planarity of Subdivisions
- CS-96-27: A Probabilistic Analysis of the Power of Arithmetic Filters
- CS-93-20: Horizons of Parallel Computation
- CS-92-28: A Simplified Technique for Hidded-Line Elimination in Terrains
- CS-92-07: A Unified Approach to Dynamic Point Location, Ray Shooting and Shortest Paths in Planar Maps
- CS-91-40: A Simplified Technique for Hidden-Line Elimination in Terrains
- CS-89-50: Output-Sensitive Generation of the Perspective View of Isothetic Parallelepipeds
- CS-89-47: Efficient Point Location in a Convex Spatial Cell Complex
- CS-89-24: Dynamic Planar Point Location with Optimal Query Time
Price, Daniel B.
Proctor, Seth
Puget, Jean-Francios
Radge, Prabhakar L.
Ramachandran, Viswanath
Ramaswamy, Sridhar
- CS-95-15: OODB Indexing by Class-Division
- CS-94-28: Functional Programming Formalisms for OODB Methods
- CS-94-27: Path Caching: A Technique for Optimal External Searching
- CS-94-09: Indexing for Data Models with Constraints and Classes
- CS-93-21: Indexing for Data Models with Constraints and Classes
- CS-92-33: Method Schemas
- CS-91-25: Transaction Control For Cooperative Applications
Ramirez, Mauricio
Rao, Satish
- CS-94-12: Faster Shortest-Path Algorithms for Planar Graphs
- CS-93-30: Bounds on the Max-Flow Min-Cut Ratio for Directed Multicommodity Flows
- CS-91-17: An Approximate Max-flow Min-cut Relation for Multicommodity Flow and its Applications
Rasachandran, Viswanath
Rasin, Alexander
- CS-04-08: The Design of the Borealis Stream Processing Engine
- CS-04-05: High-Availability Algorithms for Distributed Stream Processing
- CS-03-17: A Comparison of Stream-Oriented High-Availability Algorithms
Rauch, Monika
Ravenscroft Jr., Robert A.
Ravenscroft Jr., Robert Andrews
Ravi, R.
- CS-96-06: A Near-linear-time Approximation Algorithm for Maximum-leaf Spanning Tree
- CS-96-05: The Power of Local Optimizations: Approximation Algorithms for Maximun-leaf Spanning Tree (DRAFT)*
- CS-93-42: A Primal-Dual Approximation Algorithm for the Steiner Forest
- CS-92-58: Many Birds With One Stone: Multi-Objective Approximation Algorithms
- CS-92-54: A Nearly best-possible approximation algorithm for node-weighted Steiner trees
- CS-92-30: When Cycles Collapse: A General Approximation Technique for Constrained Two-Connectivity Problems
- CS-92-21: Approximation Algorithms for Steiner Augmentations for Two-Connectivity
- CS-91-59: Combinatorial Optimization 1990: Lecture Notes
- CS-91-19: Approximating Fill in Solving Sparse Linear Systems
- CS-91-18: Ordering Problems Approximated: Register Sufficiency, Single-Processor Scheduling and Interval Graph
- CS-91-17: An Approximate Max-flow Min-cut Relation for Multicommodity Flow and its Applications
- CS-90-32: When Trees Collide: An Approximation Algorithm for the Generalized Steiner Problem on Networks
Ravi, Ramamurthy
Ravi, S.S.
Reiss, Steve
Reiss, Steven P.
- CS-95-23: Configuration Management with Logical Structures
- CS-95-14: An Engine for the 3D Visualization of Program Information
- CS-95-13: Fragments: A Mechanism for Low Cost Data Integration
- CS-94-45: Configuration Management in terms of Modules
- CS-93-39: Stretching the Rubber Sheet: A Metaphor for Viewing Large Layouts on Small Screens
- CS-93-38: An Object-Centered Approach to Designing Programming Environments
- CS-93-12: Constraining the Structure and Style of Object-Oriented Programs
- CS-93-03: FIELD Support for C++
- CS-92-56: A Data Model for Object-Oriented Databases
- CS-92-51: CCEL: A Metalanguage for C++
- CS-92-42: Manipulating Screen Space with {\em StretchTools}: Visualizing Large Structures on Small Screens
- CS-92-35: Generating Abstractions for Visualization
- CS-91-52: Support for Maintaining Object-Oriented Programs
- CS-91-50: A System for Multiparadigm Development of Software Systems
- CS-91-32: On the Use of Annotations for Integrating the Source in a Program Development Environment
- CS-89-51: Interacting with the FIELD Environment
- CS-89-34: The Brown Workstation Environment: A User Interface Design Toolkit
- CS-89-06: Parsing in a Visual Language Environment
- CS-89-05: Representing Visual Programs with Object-Graphs
- CS-89-02: Creating Graphical Languages in Garden
- CS-88-18: Integration Mechanisms in the FIELD Environment
Reiter, Jonathan
Reitsma, Paul S. A.
Revesz, Peter Z.
- CS-92-50: Constraint Query Languages
- CS-91-39: A Closed-Form Evaluation for Datalog Queries with Integer-Order Constraints
- CS-90-31: Constraint Query Languages
- CS-89-29: Matcher Neural Networks
Roland, Didier
Rosen, Barry K.
- CS-91-21: Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
- CS-88-16: An Efficient Method of Computing Static Single Assignment Form
Rosenkrantz, D.J.
Rosenzweig, S.
Rossi, S.
Roth, Stefan
- CS-10-03: A Quantitative Analysis of Current Practices in Optical Flow Estimation and the Principles Behind Them
- CS-07-03: Denoising Archival Films using a Learned Bayesian Model
Roussos, Kostadis
Russell, Stuart
Saftoiu, Claudiu
Sairam, S.
- CS-92-15: A Divide-and-Conquer Approach to Shortest Paths in Planar Layered Digraphs
- CS-91-66: A Complexity-Theoretic Approach to Incremental Computation
- CS-91-59: Combinatorial Optimization 1990: Lecture Notes
- CS-91-02: Fully Dynamic Techniques for Reachability in Planar sT-graphs
Salesin, David
Sanders, Kate
Sanders, Kathryn E.
- CS-94-38: CHIRON: Planning in an Open-Textured Domain
- CS-89-23: A Logic for Emotions: A Basis for Reasoning About Commonsense Psychological Knowledge
Santos Jr., Eugene
- CS-92-47: On Spline Approximations for Bayesian Computations
- CS-92-24: A Linear Constraint Satisfaction Approach for Abductive Reasoning
- CS-92-03: A Linear Constraint Satisfaction Approach to Cyclicity
- CS-91-14: A Structured Neural Network Approach to Robust Parsing
- CS-91-13: Cost-Based Abduction and Linear Constraint Satisfaction
Saraswat, Vijay
Sarkar, Manojit
- CS-95-09: A Model for Active Entities in Software Systems
- CS-93-40: Graphical Fisheye Views
- CS-93-39: Stretching the Rubber Sheet: A Metaphor for Viewing Large Layouts on Small Screens
- CS-92-57: A Data Model and A Query Language for Object-Oreinted Databases
- CS-92-56: A Data Model for Object-Oriented Databases
- CS-92-42: Manipulating Screen Space with {\em StretchTools}: Visualizing Large Structures on Small Screens
- CS-92-35: Generating Abstractions for Visualization
- CS-91-61: Graphical Fisheye Views of Graphs
Savage, J.
Savage, John E.
- CS-03-09: Efficient Data Storage in Large Nanoarrays
- CS-99-10: Parallel Refinement of Unstructured Meshes
- CS-96-31: The Dynamic Adaptation of Parallel Mesh-Based Computation
- CS-93-19: Limits on Heterogeneous Supercomputing
- CS-93-08: Space-Time Tradeoffs in Memory Hierarchies
- CS-93-01: Mob --- A Parallel Heuristic for Graph-Embedding
- CS-91-07: Parallel Graph-Embedding and the Mob Heuristic
- CS-89-41: Heuristics for Parallel Graph-Partitioning
- CS-88-21: Parallel Constraint Graph Generation
Scholz, Karin
Schulze, Jurgen P.
- CS-05-04: Look-That-There: Exploiting Gaze in Virtual Reality Interactions
- CS-05-03: Volume Rendering with Animation of Gulf Stream Currents
- CS-05-02: A Comparison of a Cave and A Fish Tank VR system for Counting Biological Features in a Volume
Science, Department of Computer
Seidman, Greg
- CS-02-04: Monitoring Streams - A New Class of Data Management Applications
- CS-02-01: Monitoring Streams - A New Class of DBMS Applications
Shapiro, Michael W.
Shatkay, Hagit
- CS-98-11: Learning Models for Robot Navigation
- CS-97-04: Learning Hidden Markov Models with Geometric Information
- CS-95-37: The Fourier Transform - A Primer
- CS-95-03: Approximate Queries and Representations for Large Data Sequences
Shavit, Nir
Shaw, Gail M.
Shewchuk, John
Shimony, Solomon E.
- CS-90-14: On Irrelevance and Partial Assignments to Belief Networks
- CS-90-02: Probabilistic Semantics for Cost-Based Abduction
Shimony, Solomon Eyal
- CS-91-57: A Probabilistic Framework for Explanation
- CS-89-25: Plan-Related Negation in Story Understanding
Shlens, Jonathon
Shriver, Elizabeth A. M.
- CS-90-22: Algorithms for Parallel Memory II: Hierarchical Multilevel Memories
- CS-90-21: Algorithms for Parallel Memory I: Two-Level Memories
Shriver, Elizabeth A.M.
- CS-92-05: Algorithms for Parallel Memory II: Hierarchical Multilevel Memories
- CS-92-04: Algorithms for Parallel Memory I: Two-Level Memories
Shvartsman, Alex A.
- CS-94-29: Efficient Parallelism vs Reliable Distribution: a Trade-off for Concurrent Computations
- CS-94-23: Controlling Memory Access Concurrency in Efficient Fault-Tolerant Parallel Algorithms
- CS-92-09: How to Write-All Efficiently Even with Contaminated Memory
- CS-91-54: Parallel Algorithms with Processor Failures and Delays
- CS-91-36: Efficient Parallel Algorithms on Restartable Fail-stop Processors
- CS-89-49: Achieving Optimal CRCW PRAM Fault-Tolerance
- CS-89-35: Efficient Parallel Algorithms Can Be Made Robust
Shvartsman, Alexander Allister
Sibley, Peter G.
Sigal, Leonid
Sigelman, Ben
Simon, Jack
Simonis, Helmut
Skarra, Andrea H.
Slivkins, Aleksandrs
- CS-07-07: Towards Fast Decentralized Construction of \\ Locality-Aware Overlay Networks
- CS-07-05: Adapting to a Stochastically Changing Environment: The Dynamic Multi-Armed Bandits Problem
- CS-07-01: Towards Fast Decentralized Construction of Locality-Aware Overlay Networks
Snibbe, S.
Snibbe, Scott S.
Sobel, Jason S.
Sodomka, Eric
Sole, Patrick
Spiewak, Joshua S.
Squire, Shawn
Staff, Technical
Stasko, John
Stasko, John T.
Stasko, John Thomas
Stein, Clifford
Stein, Lynn Andrea
- CS-90-18: Resolving Ambiguity in Nonmonotonic Reasoning
- CS-90-08: A Preference-Based Approach to Inheritance
- CS-89-42: Clovers: The Dynamic Behavior of Types and Instances
- CS-89-15: Towards a Unified Method of Sharing in Object-Oriented Programming
- CS-89-14: Skeptical Inheritance: Computing the Intersection of Credulous Extensions
- CS-89-13: Investigations of Model-Preference Defaults
- CS-89-12: Motivated Action Theory: A Formal Theory of Causal Reasoning
- CS-88-15: A Shared View of Sharing: The Treaty of Orlando
Stewart, Jennifer K.
Stonebraker, Michael
- CS-04-08: The Design of the Borealis Stream Processing Engine
- CS-04-05: High-Availability Algorithms for Distributed Stream Processing
- CS-03-17: A Comparison of Stream-Oriented High-Availability Algorithms
- CS-03-03: Load Shedding in a Data Stream Manager
- CS-02-12: Load Shedding in a Data Stream Manager
- CS-02-04: Monitoring Streams - A New Class of Data Management Applications
- CS-02-01: Monitoring Streams - A New Class of DBMS Applications
Strauss, Paul Steven
Subramanian, Bharathi
Subramanian, Sairam
- CS-95-04: Parallel and Dynamic Shortest-Path Algorithms for Sparse Graphs
- CS-94-27: Path Caching: A Technique for Optimal External Searching
- CS-94-19: Critical-Path-Based Message Logging for Incremental Replay of Message-Passing Programs
- CS-94-12: Faster Shortest-Path Algorithms for Planar Graphs
- CS-93-35: A Linear-Processor Polylog-Time Algorithm for Shortest Paths in Planar Graphs
Sun, Deqing
Swartz, Sharon
Szepesv\'ari, Csaba
Szepesva\'ri, Csaba
Tamassia, R.
- CS-97-10: Visualizing Geometric Algorithms Over the Web
- CS-96-29: Area Requirement of Gabriel Drawings
- CS-96-23: Area Requirement of Visibility Representations of Trees
- CS-96-16: Robust Proximity Queries in Implicit Voronoi Diagrams
- CS-92-34: A Framework for Dynamic Graph Drawing
Tamassia, Roberto
- CS-06-07: Flexible, Secure and Private Point-based Trust Management
- CS-05-01: Generalized and Practical Role-Based Cascaded Delegation
- CS-04-17: Aggregate Group Signature and Anonymous Delegation
- CS-99-04: Turn-Regularity and Optimal Area Drawings of Orthogonal Representations
- CS-97-18: A Case Study in Algorithm Engineering for Geometric Computing
- CS-97-11: Checking the Convexity of Polytopes and the Planarity of Subdivisions
- CS-96-25: Output-Sensitive Reporting of Disjoint Paths
- CS-96-24: Drawing Directed Acyclic Graphs: An Experimental Study (Preliminary Version)
- CS-95-26: On-Line Convex Planarity Testing
- CS-94-46: Optimal Upward Planarity Testing of Single-Source Digraphs
- CS-94-34: External-Memory Graph Algorithms (extended abstract)
- CS-94-10: On the Computational Complexity of Upward and Rectilinear Planarity Testing
- CS-94-03: Optimal Shortest Path and Minimum-Link Path Queries Between Two Convex Polygons in the Presence of Obstacles
- CS-92-19: Combine and Conquer
- CS-92-15: A Divide-and-Conquer Approach to Shortest Paths in Planar Layered Digraphs
- CS-92-07: A Unified Approach to Dynamic Point Location, Ray Shooting and Shortest Paths in Planar Maps
- CS-92-06: Dynamization of the Trapezoid Method for Planar Point Location in Monotone Subdivisions
- CS-91-66: A Complexity-Theoretic Approach to Incremental Computation
- CS-91-24: Dynamic Algorithms in Computational Geometry
- CS-91-02: Fully Dynamic Techniques for Reachability in Planar sT-graphs
- CS-90-35: Dynamic Expression Trees
- CS-90-10: Area Requirement and Symmetry Display of Planar-Upward Drawings
- CS-89-47: Efficient Point Location in a Convex Spatial Cell Complex
- CS-89-45: Parallel Transitive Closure and Point Location in Planar Structures
- CS-89-31: On-Line Planarity Testing
- CS-89-28: Dynamic Planar Graph Embedding
- CS-89-24: Dynamic Planar Point Location with Optimal Query Time
- CS-89-20: Optimal Parallel Algorithms for Transitive Closure and Point Location in Planar Structures
- CS-89-10: Representations of Graphs on a Cylinder
- CS-89-09: Algorithms for Drawing Graphs: An Annotated Bibliography
Tandon, Amit
Tardos, Eva
- CS-93-30: Bounds on the Max-Flow Min-Cut Ratio for Directed Multicommodity Flows
- CS-91-43: Faster Approximation Algorithms for the Unit-Capacity Concurrent Flow Problem with Applications to Routing and Finding Sparse Cuts
Tarjan, Robert E.
Tassinari, Emanuele
Tatbul, Nesime
- CS-08-01: Plan-based Complex Event Detection across Distributed Sources
- CS-05-06: No False Positives: Window-aware Load Shedding for Data Streams
- CS-04-13: Window-aware Load Shedding for Data Streams
- CS-04-08: The Design of the Borealis Stream Processing Engine
- CS-03-03: Load Shedding in a Data Stream Manager
- CS-02-12: Load Shedding in a Data Stream Manager
- CS-02-04: Monitoring Streams - A New Class of Data Management Applications
- CS-02-01: Monitoring Streams - A New Class of DBMS Applications
- CS-01-09: Index Structures and Algorithms for Efficient Profile Matching
Tegan, Patrice A.
Teng, Choh-Man
Tirthapura, Maurice Herlihy Srikanta
Tollis, I. G.
- CS-96-29: Area Requirement of Gabriel Drawings
- CS-96-23: Area Requirement of Visibility Representations of Trees
Tollis, Ioannis G.
- CS-90-10: Area Requirement and Symmetry Display of Planar-Upward Drawings
- CS-89-10: Representations of Graphs on a Cylinder
Tompkin, James
Tschantz, Michael Carl
- CS-06-04: Towards Reasonability Properties for Access-Control Policy Languages with Extended XACML Analysis
- CS-05-05: The Soundness and Completeness of Margrave with Respect to a Subset of XACML
Tucker, David B.
Tversky, Oren J.
- CS-93-39: Stretching the Rubber Sheet: A Metaphor for Viewing Large Layouts on Small Screens
- CS-93-07: Cone Trees in the UGA Graphics System: Suggestions for a More Robust Visualization Tool
- CS-92-46: Efficient Rendering on Massively Parallel Architectures
University, Brown
- CS-09-07: Preference Aggregation in Group Recommender Systems for Committee Decision-Making
- CS-09-05: Escape From the Matrix: Lessons from a Case-Study in Access-Control Requirements
- CS-09-04: Flapjax: A Programming Language for Ajax Applications
- CS-09-04: Flapjax: A Programming Language for Ajax Applications
- CS-09-04: Flapjax: A Programming Language for Ajax Applications
Upfal, \\ Eli
Upfal, Eli
- CS-07-05: Adapting to a Stochastically Changing Environment: The Dynamic Multi-Armed Bandits Problem
van Dam, Andries
Van Hentenryck, P.
- CS-03-01: A Simulated Annealing Approach to the Traveling Tournament Problem
- CS-01-01: A Constraint Satisfaction Approach to Parametric Differential Equations
- CS-95-01: Solving Polynomial Systems Using a Branch and Prune Approach
- CS-94-18: CLP (Intervals) Revisited
- CS-94-17: Cardinality Analysis of Prolog
- CS-94-16: An Abstract Interpretation Framework for (almost) Full Prolog
- CS-93-52: Type Analysis of Prolog Using Type Graphs
- CS-93-13: Conceptual and Software Support for Abstract Domain Design: Generic Structural Domain and Open Product
Van Hentenryck, Pascal
- CS-07-09: Length-Lex Open Constraints
- CS-06-09: Randomized Filtering Algorithms
- CS-04-07: Constraint-Based Combinators for Local Search
- CS-04-01: Scheduling Abstractions for Local Search
- CS-03-22: The Value of Consensus in Online Stochastic Scheduling
- CS-03-21: Iterative Relaxations for Iterative Flattening in Cumulative Scheduling
- CS-03-16: A Simple and Deterministic Competitive\\ Algorithm for Online Facility Location
- CS-03-11: Safe and Tight Linear Estimators for Global Optimization
- CS-03-10: Dynamic Vehicle Routing with Stochastic Requests
- CS-03-06: Control Abstractions for Local Search
- CS-03-04: On the Complexity of the Robust Spanning Tree Problem with Interval Data
- CS-02-08: Scenario-Based Planning for Partially Dynamic Vehicle Routing with Stochastic Customers
- CS-02-06: Precisely A(alpha)-stable One-Leg Multistep Methods
- CS-02-05: A Simple Tabu Search for Warehouse Location
- CS-02-02: Shifted Slope-Comparison Multistep Formulas for ODEs
- CS-01-06: A Two-Stage Hybrid Local Search for the Vehicle Routing Problem with Time Windows
- CS-01-05: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- CS-01-04: Optimal Pruning in Parametric Differential Equations
- CS-01-02: Localizer++: An Open Library for local Search
- CS-00-07: OPL++: A Modeling Layer for Constraint Programming Libraries
- CS-98-03: Job-Shop Scheduling in Localizer
- CS-98-02: Localizer
- CS-97-03: Localizer: A Modeling Language for Local Search
- CS-96-34: A Constraint Satisfaction Approach to a Circuit Design Problem
- CS-95-32: Helios: A Mathematical Modeling Language for Newton
- CS-95-30: Source to Source Optimizations of CLP($\Re_{Lin}$)
- CS-95-25: Newton: Constraint Programming over Nonlinear Real Constraints
- CS-95-12: LSign Reordered
- CS-95-02: Redundancy Elimination with a Lexicographic Solved Form
- CS-93-51: Backtracking Without Trailing in CLP(${\Re}_{\rm Lin}$)
- CS-93-05: Abstract Interpretation of Prolog Based on OLDT Resolution
- CS-93-02: Design, Implementation, and Evaluation of the Constraint Language cc(FD)
- CS-92-49: Groundness Analysis for Prolog: Implementation and Evaluation of the Domain Prop
- CS-92-43: Scheduling and Packing in the Constraint Language cc(FD)
- CS-92-25: A Universal Top-Down Fixpoint Algorithm
- CS-92-12: Reexecution in Abstract Interpretation of Prolog
- CS-92-11: A Note on Redundant Linear Constraints
- CS-91-67: Generic Abstract Interpretation Algorithms for Prolog: Two Optimization Techniques and Their Experimental Evaluation
- CS-91-65: A Generic Arc Consistency Algorithm and Its Specializations
- CS-91-62: Constraint Satifaction Using Constraint Logic Programming
- CS-91-55: Experimental Evaluation of a Generic Abstract Interpretation Algorithm for Prolog
- CS-91-23: Efficient Handling of Disequations in CLP Over Linear Rational Arithmetic
- CS-91-05: Constraint Logic Programming
- CS-90-36: Efficient Arc Consistency Algorithm for a Class of CSP Problems
- CS-90-25: A Generic Abstract Interpretation Algorithm and its Complexity Analysis (extended abstract)
- CS-90-24: The Cardinality Operator: A New Logical Connective for Constraint Logic Programming
- CS-90-23: Operational Semantics of Constraint Logic Programming over Finite Domains
van Hentenryck, Pascal
Van Henteryck, Pascal
van Hoeve, Willem-Jan
Vance, Bennet
Vandenberg, Scott L.
VanHentenryck, Pascal
Vardi, Moshe Y.
Vargiu, Francesco
Vengroff, Darren
Vengroff, Darren E.
Vengroff, Darren Erik
Vergados, Y.
Viola, Paul
Vismara, Luca
- CS-99-04: Turn-Regularity and Optimal Area Drawings of Orthogonal Representations
- CS-97-18: A Case Study in Algorithm Engineering for Geometric Computing
- CS-96-25: Output-Sensitive Reporting of Disjoint Paths
- CS-96-24: Drawing Directed Acyclic Graphs: An Experimental Study (Preliminary Version)
- CS-95-26: On-Line Convex Planarity Testing
Vitter, Jeffery Scott
Vitter, Jeffrey
Vitter, Jeffrey S.
- CS-93-21: Indexing for Data Models with Constraints and Classes
- CS-91-02: Fully Dynamic Techniques for Reachability in Planar sT-graphs
- CS-89-45: Parallel Transitive Closure and Point Location in Planar Structures
Vitter, Jeffrey Scott
- CS-94-34: External-Memory Graph Algorithms (extended abstract)
- CS-92-53: A Theory for Memory-Based Learning
- CS-92-44: Blocking for External Graph Searching
- CS-92-38: Optimal Deterministic Sorting in Parallel Memory Hierarchies
- CS-92-37: Approximation Algorithms for Geometric Median Problems
- CS-92-36: Dynamic Generation of Discrete Random Variates
- CS-92-29: Approximations with Minimum Packing Constraint Violation
- CS-92-28: A Simplified Technique for Hidded-Line Elimination in Terrains
- CS-92-18: Practical Implementations of Arithmetic Coding
- CS-92-17: Analysis of Arithmetic Coding for Data Compression
- CS-92-08: Optimal Deterministic Sorting on Parallel Disks
- CS-92-05: Algorithms for Parallel Memory II: Hierarchical Multilevel Memories
- CS-92-04: Algorithms for Parallel Memory I: Two-Level Memories
- CS-92-02: Large-Scale Sorting in Uniform Memory Hierarchies
- CS-91-66: A Complexity-Theoretic Approach to Incremental Computation
- CS-91-47: New Methods for Lossless Image Compression Using Arithmetic Coding
- CS-91-46: Optimal Prefetching via Data Compression
- CS-91-45: Practical Implementations of Arithmetic Coding
- CS-91-40: A Simplified Technique for Hidden-Line Elimination in Terrains
- CS-91-20: Greed Sort: An Optimal External Sorting Algorithm for Multiple Disks
- CS-91-03: Analysis of Arithmetic Coding for Data Compression
- CS-90-33: Sum Amusements: A Case Study from the Analysis of Algorithms
- CS-90-22: Algorithms for Parallel Memory II: Hierarchical Multilevel Memories
- CS-90-21: Algorithms for Parallel Memory I: Two-Level Memories
- CS-90-04: Greed Sort: An Optimal External Sorting Algorithm for Multiple Disks
- CS-90-01: Complexity Issues in Learning by Neural Nets
- CS-89-50: Output-Sensitive Generation of the Perspective View of Isothetic Parallelepipeds
- CS-89-27: Coping with Uncertainty in Map Learning
- CS-89-22: General Methods for the Analysis of the Maximum Size of Data Structures
- CS-89-21: A Data Structure for Arc Insertion and Regular Path Finding
- CS-89-20: Optimal Parallel Algorithms for Transitive Closure and Point Location in Planar Structures
- CS-89-18: I/O Overhead and Parallel VLSI Architectures for Lattice Computations
- CS-88-17: Learning in Parallel
Vocca, Paola
Waller, Emmanuel
Washington, Rich
- CS-10-02: Sparse Spatiotemporal Coding for Activity Recognition
- CS-09-08: Recursive Sparse, Spatiotemporal Coding
Wattenhofer, Roger
Weaver, Mark H.
Wegman, Mark
Wegman, Mark N.
- CS-91-22: Constant Propagation with Conditional Branches
- CS-91-21: Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
- CS-89-36: Constant Propagation with Conditional Branches
- CS-88-16: An Efficient Method of Computing Static Single Assignment Form
Wegner, P.
Wegner, Peter
- CS-04-14: The Orgins of the Turing Thesis Myth
- CS-99-14: Behavior and Expressiveness of Persistent Turing Machines
- CS-99-13: Mathematical Models of Interactive Computing
- CS-95-21: Tutorial Notes: Models and Paradims of Interaction
- CS-94-21: Computer Literacy for Undergraduates: A Document-Engineering Framework
- CS-91-31: Trends in Epistemology
- CS-91-09: Paradigms of Interpretation and Modeling
- CS-91-01: Perspectives on Object-Oriented Design
- CS-90-20: Towards Megaprogramming
- CS-89-48: Conceptual Evolution of Object-Oriented Programming
Weinberger, Joel H.W.
Weinstein, Rachel
Wen, James
White, Jeff
Whitesides, S. H.
Wicks, John
Wiederhold, Gio
Wloka, Markus G.
- CS-93-01: Mob --- A Parallel Heuristic for Graph-Embedding
- CS-91-35: Parallel VLSI Synthesis
- CS-91-07: Parallel Graph-Embedding and the Mob Heuristic
- CS-89-41: Heuristics for Parallel Graph-Partitioning
- CS-88-21: Parallel Constraint Graph Generation
Wloka, Mathias M.
Wloka, Matthias M.
- CS-95-06: Practically Frameless Rendering
- CS-93-56: Incorporating Update Rates into Today's Graphics Systems
- CS-93-50: Time-Critical Graphics
- CS-92-01: UGA Software Standards
- CS-91-30: UGA: A Unified Graphics Architecture
Wood, Frank
- CS-08-07: Incremental Nonparametric Bayesian Regression
- CS-05-11: Extensible Data-driven Classification of Robot Sensor Data
WPI,
Xing, Ying
Xu, Jian
- CS-94-19: Critical-Path-Based Message Logging for Incremental Replay of Message-Passing Programs
- CS-93-32: Necessary and Sufficient Conditions for Consistent Global Snapshots
- CS-93-26: Adaptive Message Logging for Incremental Replay of Message-Passing Programs
- CS-93-25: Adaptive Independent Checkpointing for Reducing Rollback Propagation
Yalcin, Hulya
Yao, Danfeng
- CS-06-07: Flexible, Secure and Private Point-based Trust Management
- CS-05-01: Generalized and Practical Role-Based Cascaded Delegation
- CS-04-17: Aggregate Group Signature and Anonymous Delegation
Yen, Felix
Yerukhimovich, Arkady
Yildirim, Yenel
Yvinec, Mariette
Zadeck, F. Kenneth
- CS-91-22: Constant Propagation with Conditional Branches
- CS-91-21: Efficiently Computing Static Single Assignment Form and the Control Dependence Graph
- CS-90-06: Analysis of Pointers and Structures
- CS-89-11: An Efficient Algorithm for Incremental Data-Flow Analysis
- CS-88-16: An Efficient Method of Computing Static Single Assignment Form
Zadeck, Kenneth
- CS-92-13: Register Allocation Using Control Trees
- CS-89-36: Constant Propagation with Conditional Branches
Zdonik, Stan
- CS-05-06: No False Positives: Window-aware Load Shedding for Data Streams
- CS-04-13: Window-aware Load Shedding for Data Streams
- CS-04-08: The Design of the Borealis Stream Processing Engine
- CS-04-05: High-Availability Algorithms for Distributed Stream Processing
- CS-03-17: A Comparison of Stream-Oriented High-Availability Algorithms
- CS-03-03: Load Shedding in a Data Stream Manager
- CS-02-12: Load Shedding in a Data Stream Manager
- CS-02-04: Monitoring Streams - A New Class of Data Management Applications
- CS-02-01: Monitoring Streams - A New Class of DBMS Applications
Zdonik, Stanley
Zdonik, Stanley B.
- CS-94-22: Storage Class Extensibility in the Brown Object Storage System
- CS-93-43: An Efficient Scheme for Dynamic Data Replication
- CS-93-10: Ordered Types in the Aqua Data Model
- CS-93-09: The Aqua Data Model And Algebra
- CS-92-59: Supporting Reactive Planning Tasks on an Evolving Multidatabase
- CS-91-41: Object-Oriented Query Optimization: What's the Problem?
- CS-91-38: An Architecture for Query Processing in Persistent Object Stores
- CS-91-25: Transaction Control For Cooperative Applications
- CS-91-15: Fido: A Cache That Learns To Fetch
- CS-90-29: Predictive Caching
- CS-90-27: ObServer: A Storage System for Object-Oriented Applications
- CS-90-03: Cooperative Transaction Hierarchies
- CS-89-42: Clovers: The Dynamic Behavior of Types and Instances
- CS-89-19: A Query Algebra for Object-Oriented Databases
Zeleznik, Robert
- CS-05-10: Fluid Inking: Modeless Integration of Gestures with Inking
- CS-04-11: Fluid Inking: Using Punctuation to Allow Modeless Combination of Marking andGesturing
- CS-93-07: Cone Trees in the UGA Graphics System: Suggestions for a More Robust Visualization Tool
Zeleznik, Robert C.
- CS-05-04: Look-That-There: Exploiting Gaze in Virtual Reality Interactions
- CS-95-06: Practically Frameless Rendering
- CS-91-30: UGA: A Unified Graphics Architecture
- CS-91-10: An Object-Oriented Framework for the Integration of Interactive Animation Techniques
Zhang, Song
- CS-04-06: Visualization of the interaction of multiple sclerosis lesions with adjacent white matter fibers using streamtubes and streamsurfaces
- CS-02-18: Hierarchical Clustering of Streamtubes
- CS-02-14: Color Rapid Prototyping for Scientific Visualization: Diffusion Tensor MRI Visualization and Topographical Exploration of Mars
Zimmerman, Joe
Zinkevich, Martin
- CS-07-10: No-Regret Learning in Convex Games
- CS-05-08: Correlated Q-Learning
- CS-05-07: A Direct Proof of the Existense of Correlated Equilibrium Policies in General-Sum Markov Games