Export Citations
Showing 1 - 20of187 Publishers
- NASA Langley Technical Report Server2,523 Titles
- 2-D/Axisymmetric Formulation of Multi-Dimensional Upwind Scheme
- 2020: Future Vision for Global Air Cargo
- A 3-D Coupled CFD-DSMC Solution Method With Application to the Mars Sample Return Orbiter
- A 3-level Model for Schumann-Runge O2 Laser-Induced Fluorescence
- 48-Inch Lidar Aerosol Measurements Taken at the Langley Research Center July 1991 to December 1992
- Cornell University1,597 Titles
- The ``Generality'''' Effect and the Retrieval Evaluation for Large Collections
- The 1986-1987 Taulbee Survey Report: The Computing Research Board''s Survey on the Production and Employment of Ph.D.''s and Faculty in Computer Science and Engineering
- 2.25 N-Lower Bound on the Combinational Complexity of Boolean Functions
- Ab Initio Calculations on the Structure and Conformation of Group V Bent Metallocenethiolates
- Abstractions for Fault Tolerance in Distributed Systems
- Massachusetts Institute of Technology1,475 Titles
- An {\it bf O(N)} Algorithm for Three-Dimensional N-body Simulations
- 3D Object Recognition: Symmetry and Virtual Views
- 3D Pose from Three Corresponding Points Under Weak-Perspective Projection
- 6.50s A Peek at Parallel Processing from an Applications Perspective
- Absentee Computations in a Multiple-Access Computer System
- Stanford University1,423 Titles
- An "almost-exact" solution to the N-processor, M-memory bandwidth problem
- An $n^{log n}$ algorithm for the two-variable-per-constraint linear programming satisfiability problem
- 1993 Publications Summary for the Stanford Database Group
- 1994 Publications Summary of the Stanford Database Group
- 2D BubbleUp: Managing Parallel Disks for Media Servers
- University of California at Berkeley1,336 Titles
- University of Texas at Austin1,144 Titles
- 16-bit Vs. 32-bit Instructions for Pipelined Microprocessors
- Abductive Explanation in Text Understanding: Some Problems and Solutions
- Abrupt and Gradual Sound Change in an Expanding Lexicon
- An Abstract Machine Based Execution Model for Computer Architecture DesignAnd Efficient Implementation of Logic Programs in Parallel
- The Academic Life of Louis E. Rosier Editors: Nancy Lawler, Jayadev Misra,and Vijaya Ramachandran
- University of Massachusetts1,084 Titles
- The "Generation Gap" The Problem of Expressibility in Text Planning
- 0(N3) Algorithm for Bisimulation Equivalence w.r.t. CTL* without the Next-Time Operator between Kripke Structures
- 20D Contact Detection and Localization Using Proprioceptive Information
- 3D Localization of Multiple Moving People by a Omnidirectional Stereo System of Cooperative Mobile Robots
- 3D Reconstruction under Varying Constraints on Camera Geometry for Robotic Naviation Scenarios
- University of Maryland at College Park898 Titles
- 3D curve reconstruction from uncalibrated cameras
- 3D model-based tracking of humans in action: a multi-view approach
- About the logical interpretation of ambiguous inheritance hierarchies
- An accurate tie-management unit for real-time processors
- Active bias adjustment for incremental, supervised concept learning
- CWI (Centre for Mathematics and Computer Science)686 Titles
- The $\nu$-stable L\''evy Motion in Heavy-traffic Analysis of Queueing Models with Heavy-tailed Distributions
- 3D computational steering with parametrized geometric objects
- The ABC structure editor -- Structure-based editing for the ABC programming environment.
- Action Transducers and Timed Automata.
- An adaptive image reconstruction method
- University of British Columbia586 Titles
- Institute for Computer Applications in Science and Engineering (ICASE)548 Titles
- A 3D AGGLOMERATION MULTIGRID SOLVER FOR THE REYNOLDS-AVERAGED NAVIER-STOKES EQUATIONS ON UNSTRUCTURED MESHES
- 3D Characteristics
- 3D VISUALIZATION OF UNSTEADY 2D AIRPLANE WAKE VORTICES
- An accurate curved boundary treatment in the lattice Boltzmann method
- ACCURATE FINITE DIFFERENCE METHODS FOR TIME-HARMONIC WAVE PROPAGATION
- University of Virginia514 Titles
- Virginia Polytechnic Institute & State University495 Titles
- Abstraction Mechanisms in Support of Top-Down and Bottom-Up Task Specification
- The Abstraction Refinement Model and the Modification-Cost Problem
- ACT++ 2.0: A Class Library for Concurrent Programming in C++ Using Actors
- ACT++: Building a Concurrent C++ with Actors
- An Active Set Algorithm for Tracing Parametrized Optima
- University of Illinois at Urbana-Champaign454 Titles
- 2K: A Distributed Operating System for Dynamic Heterogeneous Environments
- 2K: A Dynamic, Component-Based Operating System for Rapidly Changing Environments
- The A-IRBAC 2000 Model: Administrative Interoperable Role-Based Access Control
- Access Control For Client-Server Object Databases
- Activity Management in Cooperative Environments
- University of Tennessee411 Titles
- Brown University408 Titles
- Turku Centre for Computer Science384 Titles
- Center for Discrete Mathematics & Theoretical Computer Science376 Titles
- Abstract Deducibility and Domain Theory
- An Active Network Approach to Efficient Network Management
- Addition Chains as Test Trees and a Sequential Variant as the Huffman Problem
- The Adjacency Matrix and Spectrum of a Graph with Negative Third Largest Eigenvalue
- An Adversarial Model for Distributed Dynamic Load Balancing
- University of Warwick372 Titles
- Duke University363 Titles
- An $0(n \log^3 n)$ Algorithm for the Real Root and Symmetric Tridiagonal Eigenvalue Problems
- AAA and CS 1 The Applied Apprenticeship Approach to CS 1
- Adaptive Disk Spindown via Optimal Rent-to-Buy in Probabilistic Environments
- Adding Reviews, Prototyping and Frequent Deliveries to Software Engineering Projects
- Advances in ATM Network Management and Control