Science Refernce - U

Science Reference

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Unification of Disjunctive Feature Descriptions

UNISYS: Description of the CBAS system used for MUC-5

Unidraw: a framework for building domain-specific graphical editors

Understanding and predicting effort in software projects

Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments

Using fault model enforcement to improve availability

Using redundancy to improve robustness of distributed mechanism implementations

Using the Web as a linguistic resource for learning reformulations automatically

Using grammatical relations, answer frequencies and the World Wide Web for TREC question answering

Using the web to overcome data sparseness

Using knowledge to facilitate factoid answer pinpointing

Using decision tree confidence factors for multiagent control

User Interface Tailoring for Multi-Platform Service Access

University of sheffield: Description of the LASIE-II system as used for MUC-7

Universal hashing and geometric codes

Using Continuations to Build a User-Level Threads Library

Ubiquitous Healthcare: The ONKONET Mobile Agents Architecture

Uplink CDMA Systems with Diverse QoS Guarantees for Heterogeneous Traffic

UML class diagrams revisited in the context of agent-based systems

Using a model of collaborative dialogue to teach procedural tasks

Using voice to generate cryptographic keys

Using wordnet in a knowledge-based approach to information retrieval

Using substitution probabilities to improve position-specific scoring matrices

Use of long sequence alignments to study the evolution and regulation of mammalian globin gene clusters

Ultimate approximations in nonmonotonic knowledge representation systems

Updates in highly unreliable, replicated peer-to-peer systems

Ultimate well-founded and stable semantics for logic programs with aggregates

User Interface Design for Expert Systems Based on Hierarchical Spatial Representations, Expert Systems with Applications

Using Problem Symmetry in Search Based Satisfiability Algorithms

Using data cubes for metarule-guided mining of multi-dimensional association rules

Unions of non-disjoint theories and combinations of satisfiability procedures

Using structural and functional information in diagnostic design

Undo for Operators: Building an Undoable E-mail Store

Unsupervised selection and estimation of finite mixture models

Using English for indexing and retrieving

Using Induction to Prove Properties of Distributed Programs

Uniform semantic treatment of default and autoepistemic logics

Unsupervised recursive sequence processing

Unsupervised discovery of multilevel statistical video structures using hierarchical hidden Markov models

Unreliable sensor grids: Coverage, connectivity and diameter

Using a large projection screen as an alternative to head-mounted displays for virtual environments

Using HLT for Acquiring, Retrieving and Publishing Knowledge

Using simulated execution in verifying distributed algorithms

Understanding change-proneness in OO software through visualization

Understanding TCP fairness over wireless LAN

Using suffix arrays to compute term frequency and document frequency for all substrings in a corpus

Using access control for secure information flow in a Java-like language

Using subcategorization to resolve verb class ambiguity

Using linguistic, world, and contextual knowledge in a plan recognition model of dialogue

Utilising the event calculus for policy driven adaptation on mobile systems

Usability evaluation of high-level user assistance for robot mission specification

Ubicrawler: A scalable fully distributed web crawler

Using inference to reduce arc consistency computation

Using effective network views to promote distributed application performance

Using automatic clustering to produce high-level system organizations of source code

UMass at TREC 2002: Cross language and novelty tracks

Using coreference in question answering

Using ontologies and formal concept analysis for organizing business knowledge

Use of patterns for detection of answer strings: A systematic approach

Using Cohort Scheduling to Enhance Server Performance

Using chunk based partial parsing of spontaneous speech in unrestricted domains for reducing word error rate in speech recognition

Unbounded length contexts for PPM

Using multiple levels of abstractions in embedded software design

using coreference chains for text summarization

Using predictable observer mobility for power efficient design of sensor networks

User Models and Discourse Models

User Interfaces for Supporting Multiple Categorization

Unsupervised discovery of phonological categories through supervised learning of morphological rules

Universally composable two-party and multi-party secure computation

Using real-time stereo vision for mobile robot navigation

Using Virtual Reality Techniques in the Animation Process, in Virtual Reality Systems

Unwinding Forward Correctability

Unification-based Multimodal Integration

UTLB: A mechanism for address translation on network interfaces

Using attributed flow graph parsing to recognize clich??s in programs

Utopia: a Load Sharing Facility for Large, Heterogeneous Distributed Computer Systems

Using slicing to identify duplication in source code

Unification encodings of grammatical notations

Uflic: A line integral convolution algorithm for visualizing unsteady flows

Using word class for part-of-speech disambiguation

Using a probabilistic translation model for cross-language information retrieval

Using Mobile Technology to Create Opportunitistic Interactions on a University Campus

Unification-based multimodal parsing

Using the condensation algorithm for robust, vision-based mobile robot localization

Using Fault Injection and Modeling to Evaluate the Performability of Cluster-Based Services

Understanding Location Descriptions in the LEI System

Universal mosaicing using pipe projection

Universally Composable Notions of Key Exchange and Secure Channels

Unlabeled data can degrade classification performance of generative classifiers

Utility Theory-Based User Models for Intelligent Interface Agents

Understanding pose discrimination in similarity space

Using tactile and visual sensing with a robotic hand

UPPAAL in 1995

Units of Dialogue Management: an example

Unified algebras and abstract syntax

Using Prosodic Clues to Decide When to Produce Back-channel Utterances

Understanding COBOL Systems using Inferred Types

Using prosodic information to constrain language models for spoken dialogue

Using Maximum Likelihood Linear Regression for Segment Clustering and Speaker Identification

Unified versioning through feature logic

Understanding and Propagating Architectural Changes

Using Lexical stress in continuous speech recognition for Dutch

Using the Fluhrer, Mantin, and Shamir attack to break WEP

Using programmer-written compiler extensions to catch security holes

Using shape and intensity to track non-rigid objects

Using hypertext for an adaptive helpsystem in an intelligent tutoring system

Using Formal Specifications in the Design of a Human-Computer Interface

Using Model Checking to Generate Tests from Requirements Specifications

Using reinforcement learning to spider the Web eciently

Using genetic programming to learn and improve control knowledge

Undirected single source shortest paths in linear time

Unbounded searching algorithms

Using the EM Algorithm for Weight Computation in the Fellegi-Sunter Model of Record Linkage

Using Windows NT for real-time applications: Experimental observations and recommendations

Using On-Chip Configurable Logic to Reduce Embedded

Using events for the scalable federation of heterogeneous components

Using error-correcting codes for efficient text classification with a large number of categories. masters thesis (Technical Report

User interface languages: A survey of existing methods

Unsupervised discrimination of clustered data via optimization of binary information gain

Using Specifications to Check Source Code

Understanding bandwidth limitations in robot force control

Unbiased evaluation of retrieval quality using clickthrough data

UDM: User Direct Messaging for General-Purpose Multiprocessing

Unique fixpoint induction for mobile processes

Using multiple hash functions to improve ip lookups

Using Enhanced Spherical Images for Object Representation

User-tailored generation for spoken dialogue: An experiment

Using smoothed data histograms for cluster visualization in self-organizing maps

Using aggregation and dynamic queries for exploring large data sets

Unreliable Failure Detectors for Reliable Distributed Systems

Using Bayesian networks for incorporating probabilistic a priori knowledge into Boltzmann machines

Understanding replication in databases and distributed systems

Using pro le information to assist classic code optimizations

Unsupervised multiresolution segmentation for images with low depth of field

Using Authority Certificates to Create Management Structures

Updating relational databases through XML views

Unfolding and Finite Prefix for Nets with Read Arcs

User-level checkpointing through exportable kernel state

Universal lossless source coding with the burrows wheeler transform

Using Fault Injection to Evaluate the Performability of Cluster-Based Services

Using Distributed Data Structures for Constructing Cluster-Based Services

Understanding and Modelling Flexibility in Administrative Processes

Updates in a Rule-Based Language for Objects

Using Predicated Execution to Improve the Performance of a Dynamically Scheduled Machine with Speculative Execution

Using annotated interface definitions to optimize RPC

Using the Nystr??m method to speed up kernel machines

UCAN: a unified cellular and ad-hoc network architecture

Using caching for browsing anonymity

Unifying tables, objects and documents

Universal lattice decoding: Principle and recent advances

Using camera-equipped mobile phones for interacting with real-world objects

UML Collaboration Diagrams and Their Transformation to Java

Uniform Random Number Generators for Vector and Parallel Computers

Using runtime paths for macro analysis

Unsupervised learning of naive morphology with genetic algorithms

Using the timely computing base for dependable qos adaptation

Using Unlabeled Data to Improve Text Classification

Using Histogram Correlation to Create Consistent Laser Scan Maps

Using application specific knowledge for configuring object replicas

Understanding UML: A formal semantics of concurrency and communication in real-time UML

Using relative novelty to identify useful temporal abstractions in reinforcement learning

User-oriented adaptivity and adaptability in the avanti project

Using Isabelle to Prove Properties of the Kerberos Authentication System

Using Regular Tree Automata as XML Schemas

Uniform Quantifier Elimination and Constraint Query

Using introspective reasoning to refine indexing

Utterance units in spoken dialogue

Using traffic regulation to meet end-to-end deadlines in atm networks

Using redundancies to find errors

Undeniable Replies to Database Queries

Utilizing the World Wide Web as an encyclopedia: Extracting term descriptions from semi-structured texts

Using Moldability to Improve the Performance of Supercomputer Jobs

Using the active appearance algorithm for face and facial feature tracking

Unsupervised Bayesian segmentation using hidden markovian fields

Using EM to learn motion behaviors of persons with mobile robots

Understanding software maintenance tools: Some empirical research

Understanding Code Mobility

Using Tarjan's Red Rule for Fast Dependency Tree Construction

Using hash functions as a hedge against chosen ciphertext attack

Unsupervised discovery of scenario-level patterns for information extraction

Using Bayesian neural networks to classify segmented images

Unsupervised Learning Using MML

Universal Continuous Routing Strategies

Universal Arguments and Their Applications

Using light-weight groups to handle timing failures in quasi-synchronous systems

Using the Voronoi tessellation for grouping words and multi-part symbols in documents

Understanding the Architecture of Software Systems

Universal hash proofs and a paradigm for adaptive chosen ciphertext secure public-key encryption

Using metrics to identify design patterns in object-oriented software

Using superimposed coding of N-gram lists for Efficient Inexact Matching

Using Distributed Query Result Caching to Evaluate Queries for Parallel Data Mining Algorithms

Using a computer game to develop advanced AI

Update propagation strategies for improving the quality of data on the Web

Using background knowledge to speed reinforcement learning in physical agents

User's Guide for QPOPT 1.0: A FORTRAN package for quadratic programming

Using multiple clause constructors in inductive logic programming for semantic parsing

Using content-derived names for caching and software distribution

Using Mobile Extensions to Support Disconnected Services

Unfold/fold transformation of concurrent processes

Using the B method to model protocols

User Interface Software Tools

Unique symmetry breaking in csps using group theory

Using Redundancy to Repair Video Damaged by Network Data Loss

Using a cognitive architecture to plan dialogs for the adaptive explanation of proofs

Using the SimOS machine simulator to study complex computer systems

Using the Keystroke-Level Model to Estimate Execution Times

Using collective intelligence to route internet traffic

Understanding and Predicting the Process of Software Maintenance Releases

Understanding TCP Vegas: A duality model

Undecidable boundedness problems for datalog programs

Using dependent types to express modular structure

Untrusted hosts and confidentiality: Secure program partitioning

Using UML collaboration diagrams for static checking and test generation

User-Level Communication in Cluster-Based Servers

Usability analysis of visual programming environments: a `cognitive dimensions' framework

Using a language independent domain model for multilingual information extraction

Using LibGA to Develop Genetic Algorithms for Solving Combinatorial Optimization Problems

Unsupervised training of a speech recognizer using tv broadcasts

User-level infrastructure for system call interposition: A platform for intrusion detection and confinement

Using finite automata to mine execution data for intrusion detection: A preliminary report

Using multiple levels of learning and diverse evidence sources to uncover coordinately controlled genes

Using Otter for temporal resolution

Using spin images for efficient object recognition in cluttered 3D scenes

Uncertainty, utility, and misunderstanding: A decision-theoretic perspective on grounding in conversational systems

Understanding object-oriented programs with declarative event analysis

Ubiquitous and contextual identifier resolution for the real-world wide web HP Labs

Unleashing the Full Power of Timing Attack

Using Tree Topology for Multicast Congestion Control

Using reflection to explain and enhance type theory

Using the at&t labs packetscope for internet measurements, design, and performance analysis

Using eligibility traces to find the best memoryless policy in partially observable Markov decision processes

User's guide for SNOPT 5.3: a Fortran package for large-scale nonlinear programming

Using network layer anycast for load distribution

Using leases to support server-driven consistency in large-scale systems

Ubiquitous Access for Computer Science and Education

Understanding trust management systems

Using optimistic atomic broadcast in transaction processing systems

Using the condensation algorithm to implement tracking for mobile robots

Using rule sets to maximize ROC performance

Using scene constraints during the calibration procedure

Using domain knowledge in querying image databases

Using a model checker to test safety properties

Using Queue Time Predictions for Processor Allocation

Using Flexible Precoding for Channels with Spectral Nulls

Using middle-out reasoning to control the synthesis of tail-recursive programs

Unifying FPGAs and SIMD arrays

Using DQRAP (distributed queueing random access protocol) for local wireless communications

User Model Acquisition Heuristics Based on Dialogue Acts

Updating XML

Universal algebra in type theory

Using Approximations to Scale Exploratory Data Analysis in Datacubes

Using the FGLSS-reduction to Prove Inapproximability Results for Minimum Vertex Cover

Using the Bandera tool set to model-check properties of concurrent Java software

Units: Cool modules for HOT languages

Using separation algorithms in fixed dimension

Using fluid models to prove stability of adversarial queueing networks

Using non-functional requirements to systematically support change

Update operations: a review

User-Oriented Visual Layout at Multiple Granularities

Using Graphic History in Browsing the World Wide Web

Using a query language to state consistency constraints for repositories

Using quake III arena to simulate sensors and actuators when evaluating and testing mobile services

Using Predicate Abstraction to Reduce Object-Oriented Programs for Model Checking

Unreliable failure detector for asynchronous distributed systems

Using mobility to make transparent distribution practical

Using History to Improve Mobile Application Adaptation

Using formal methods to derive test frames in category-partition testing

Using Simple Page Placement Policies to Reduce the Cost of Cache Fills in Coherent Shared-Memory Systems

Using Inductive Logic Programming to Construct Structure-Activity Relationships

Using Runtime Analysis to Guide Model Checking of Java Programs

Using polyballs to approximate shapes and skeletons

Using runtime measured workload characteristics in parallel processor scheduling

Using approximate models as source of contextual information for vision processing

Utilizing untranscribed training data to improve performance

Using GOMS for user interface design and evaluation: which technique

User-friendly Access Control for Public Network Ports

Using the strategy design pattern to compose reliable distributed protocols

Using abstractions for the verification of linear hybrid systems

Unbundling Active Functionality

Unified analysis of array and object references in strongly typed languages

Upper bounds on the lifetime of sensor networks

Using Belief to Reason About Cache Coherence

Ultimate solution to authentication via memorable password

UMAC: Fast and Secure Message Authentication

Using situated communication in distributed autonomous mobile robots

User Interface constraints for immersive virtual environment applications

Unifying Maximum Likelihood Approaches in Medical Image Registration

Using limits of parchments to systematically construct institutions of partial algebras

Using chaos to generate variations on movement sequences. Chaos

Understanding software systems using reverse engineering technology

Uniform versioning: The change-oriented model

Using context to specify intonation in speech synthesis

Using a Reactive Planner as the Basis for a Dialogue Agent

Using loops in decision-theoretic refinement planners

Using probabilistic knowledge and simulation to play poker

Use of a taxonomy of security faults

Using treemaps to visualize the analytic hierarchy process

Utility-based power control in cellular wireless systems

Universally composable commitments

Uniform consensus harder than consensus

Using the Modified Phong Reflectance Model for Physically Based Rendering

Utilization-based admission control for real-time applications

Using Secure Coprocessors

Using thumbnails to search the Web

Unsupervised learning of finite mixture models

Using Database Optimization Techniques for Nonmonotonic Reasoning

Using embedded sensors for detecting network attacks

Using the ASTRAL model checker for cryptographic protocol analysis

Updating extended logic programs through abduction

Unified support for heterogeneous security policies in distributed systems

Using simulation techniques to prove timing properties

Using Petri Nets for Rule Termination Analysis

Unsupervised audio stream segmentation and clustering via the Bayesian Information Criterion

Understanding and measuring the sources of variation in the prioritization of regression test suites

Using I/O automata for developing distributed systems

Using Persistence Technology to Control Schema Evolution

Updating logic programs

UG -- a flexible software toolbox for solving partial differential equations

Using lexical chains for text summarization

Using Integer Sets for Data-Parallel Program Analysis and Optimization

Using program slicing to simplify testing

Using the triangle inequality to reduce the number of comparisons required for similarity-based retrieval

Universal data compression based on the Burrows and Wheeler transformation: Theory and practice

Using spheres of commitment to support virtual enterprises

Using multiset discrimination to solve language processing problems without hashing

Update Monitoring: The CQ project

Using global consistency to recognise Euclidean objects with an uncalibrated camera

Ubiquitous and Robust Authentication Services for Ad Hoc Wireless Networks

Use of Virtual Environments for Acquiring Configurational Knowledge About Specific Real-World Spaces: Preliminary Experiment. PRESENCE: Teleoperators and Virtual Environments 8(6

Using Non-Functional Requirements to Systematically Select Among Alternatives in Architectural Design

Uniform derivation of decision procedures by superposition

Using approximate majorization to characterize protocol fairness

User Controlled Overviews of an Image Library: A Case Study of the Visible Human

Using formal methods to reason about semantics-based decomposition of transactions

Understanding Stochastic Process Algebras via their GSPN Semantics

Understanding the Role of Atomic Transactions and Group Communications in Implementing Persistent Replicated Objects

Universal Padding Schemes for RSA

Utility-directed allocation

UI on the fly: Generating a multimodal user interface

Using recursive agent models effectively

Unifying boundary and region-based information for geodesic active tracking

Using the Holey Brick Tree for Spatial Data in General Purpose DBMSs

Universal algorithms for store-and-forward and wormhole routing

User Modeling in Adaptive Interfaces

Using Entity Locations for the Analysis of Authentication Protocols

Using the Web instead of a window system

User Customization of Virtual Network Interfaces with U-Net/SLE

Using Tube Graphs to Model Architectural Designs of Software Systems

Using musical knowledge to extract expressive performance information from audio recordings

Using coordination to parallelize sparse-grid methods for 3D CFD problems

Using clustering and superconcepts within SMART: TREC 6

Understanding Fault-Tolerant Distributed Systems

Uniform Reliable Multicast in a Virtually Synchronous Environment

Using Schooner to support distribution and heterogeneity

Using regular approximations for generalisation during partial evaluation

Universal Stability Results for Greedy Contention-Resolution Protocols

Using singular displacements for uncalibrated monocular visual systems

Using Branch Handling Hardware to Support Profile-Driven Optimization

Unique satisfiability of horn sets can be solved in nearly linear time

Using Schema Matching to Simplify Heterogeneous Data Translation

Using XML as an Object Interchange Format

Unequal loss protection: Graceful degradation of image quality over packet erasure channels through forward error correction

Using a Coordination Language to Specify and Analyze Systems Containing Mobile Components

Understanding autonomous interaction

Understanding the emergence of conventions in multi-agent systems

Upper bounds on the number of products in AND-OR-XOR expansion of logic functions

Using Bayesian neural network to solve the inverse problem in electrical impedance tomography

Unexpected side effects of inline substitution: a case study

Using Term Rewriting Systems to Design and Verify Processors

U-PAI: A universal payment application interface

Unifying synchronous and asynchronous message-passing models

Using the Run-Time Sizes of Data Structures to Guide Parallel-Thread Creation

University of Sheffield: Description of the LaSIE system as used for MUC-6

Using object-oriented principles to optimize update propagation to materialized views

Union records and dossiers: Extended bibliographic information objects

Unsupervised Models for Named Entity Classification

Using geometric corners to build a 2D mosaic from a set of images

Unlinkable divisible electronic cash

Unfold/fold transformations preserving termination properties

Using Single Function Agents to Investigate Conflict

Using Dynamic Mediation to Integrate COTS Entities in a Ubiquitous Computing Environment

User-guided interleaving of planning and execution

Utility-based decision-making in wireless sensor networks

Using virtual subsystems in project management

Using Pareto Optimality to Coordinate Distributed Agents

Using dialogue representations for concept-to-speech generation

Using LDAP directory caches

Utilizing widely distributed computational resources efficiently with execution domains

Understanding and using context

Using Conceptual Scaling in Formal Concept Analysis for Knowledge and Data Discovery

User models, intelligent interface agents, and expert systems

Using AVL trees for fault tolerant group key management

Using Time Efficiently: Genetic-Evolutionary Algorithms and the Continuation Problem

Use of support vector learning for chunk identification

Using the fractal dimension to cluster datasets

Using VHDL for link to synthesis tools

Using knowledge acquisition and representation tools to support scientific communities

Using dynamic classes and role classes to model object migration. Theory and Practice of Object Systems

Unreliable intrusion detection in distributed computations

Undecidability results on two-variable logics

Using active vision to simplify perception for robot driving

Upper bounds for constant-weight codes

Using satellite links as delivery paths in the multicast backbone (MBone

Using Dynamic Programming to Benchmark Communications on Parallel Computers

Unsupervised parallel image classification using Markovian models

Underwater video mosaics as visual navigation maps

Use of Imprecise Computation to Enhance Dependability of Real-Time Systems

Unconditional byzantine agreement with good majority

Using Quality Requirements to Systematically Develop Quality Software

Using location information to improve routing in ad hoc networks

Unsupervised learning and interactive jazz/blues improvisation

Using argumentation in text generation

Understanding neural networks via rule extraction

Using events to build distributed applications

Using graph rewriting to specify software architectural transformations

Using NetLogger for distributed systems performance analysis of the BaBar data analysis system

Utilities as random variables: Density estimation and structure discovery

Using constraint metaknowledge to reduce arc consistency computation

Unit Disk Graph Recognition is NP-hard

Using name-based mappings to increase hit rates

Undecidability of Static Analysis

Update Replication: What Every Designer Should Know

Unlinkable serial transactions: protocols and applications

User interface design

Universal Constructions for Large Objects

Unifying wp and wlp

Unsupervised Learning for Neural Trees

Using Integer Programming to Verify general Safety and Liveness properties

Using Patterns in Model-based Design

UFO: A personal global file system based on user-level extensions to the operating system

Upper and lower bounds for tree-like cutting planes proofs

Usenetfs: A Stackable File System for Large Article Directories

Using a hash-based method with transaction trimming for mining association rules

Using temporal logic to specify and verify cryptographic protocols (progress report

Using Opportunistic Combining Networks to Reduce Contention in Multicomputers

Using sql to build new aggregates and extenders for object-relational systems

Using Automated Reasoning Techniques to Determine Software Reuse

Using TAME to prove invariants of automata models: Case studies

Using pathchar to estimate internet link characteristics

Using formal methods to construct a software component library

Using LOTOS for specifying the CHORUS distributed operating system kernel

Using back-pressure to improve TCP performance with many flows

Using information extraction to aid the discovery of prediction rules from texts

Understanding the behavior of co-training

Ubiquitous computing: Research themes and open issues from an applications perspective

UMLAUT: An extendible UML transformation framework

Update Propagation Strategies to Improve Freshness in Lazy Master Replicated Databases

Uniform Actions in Asynchronous Distributed Systems

Uniqueness typing for functional languages with graph rewriting semantics

Using static single assignment form to improve flow-insensitive pointer analysis

Unification via explicit substitutions: The case of higher-order patterns

Using semi-distributed representations to overcome catastrophic forgetting in connectionist networks

Using a description logic with concept inclusions

Uncovering associations between documents

Using correspondence analysis to combine classifiers

Using coordination for cooperative constraint solving

Understanding Expressive Action

Using end-to-end statistics to distinguish congestion and corruption losses: A negative result

Using object oriented methods in Ada 95 to implement Linda

Using parameterized signatures to express modular structure

Using YAT to Build a Web Server

Using a description classifier to enhance deductive inference

Utterance types in the August dialogues

Uncertainty modeling for optimal structure from motion

Understanding the performance of TCP pacing

Using contour as a mid-level representation of melody

Using space-filling curves for multi-dimensional indexing

Using bitmaps for medium sized information retrieval systems

Using Asynchronous Buchi Automata for Efficient Automatic Verification of Concurrent Systems

Using feature hierarchies in bayesian network learning

Using story topics for language model adaptation

Unification in Extensions of Shallow Equational Theories

Unambiguity of extended regular expressions in SGML document grammars

Understanding Membership

Using meta-level compilation to check FLASH protocol code

Utilizing Symmetry when Model Checking under Fairness Assumptions: An Automata-theoretic Approach

Uniform proofs and disjunctive logic programming

Using POSIX threads to implement Ada tasking: Description of work in progress

User's guide for the unsymmetric-pattern multifrontal package (UMFPACK

Using feedforward neural networks to monitor alertness from changes in EEG correlation and coherence

Unification of infinite sets of terms schematized by primal grammars

Using qualitative models to guide inductive learning

Unicast Performance Analysis of the ODMRP in a Mobile Ad hoc Network Testbed

Understanding Vertical Integration in the Internet

Understanding technology in domestic environments: Lessons for cooperative buildings

Using resolution for extending KL-ONE-type languages

Usage analysis of a digital library

Using "test model-checking" to verify the runway-pa8000 memory model

Using machine learning to enhance software tools for internet information management

Understanding frameworks

Uniform Generation of NP-Witnesses Using an NP-Oracle

Unconditionally Secure Commitment and Oblivious Transfer Schemes Using Private Channels and a Trusted Initializer

Using test oracles generated from program documentation

Using Program Slicing in Software Maintenance

Using learning to facilitate the evolution of features for recognizing visual concepts

Uniform ideals and strictness analysis

Using digital but physical surrogates to mediate awareness, communication and privacy in media spaces

User modelling for spoken dialogue system evaluation

Unencumbered Virtual Environments

Ubiquitous mobile host internetworking

User as Student: Towards an Adaptive Interface for Advanced Web-Based Applications

Unitary space-time modulation for multiple-antenna communications in rayleigh flat fading

URSA: Ubiquitous and Robust Access Control for Mobile Ad-Hoc Networks

Using Sets of Feature Vectors for Similarity Search on Voxelized CAD Objects

Using graphical models and genomic expression data to statistically validate models of genetic regulatory networks

Using sampled data and regression to merge search engine results

Uniform Random Number Generators for Supercomputers

Using Destination Set Grouping to Improve the Performance of Window-Controlled Multipoint Connections

Using an ATM Interconnect as a High Performance I/O Backplane

Use of Application Characteristics and Limited Preemption for Run-To-Completion Parallel Processor Scheduling Policies

Using a template-based parallel programming environment to eliminate errors