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
Handbook of Applied Cryptography
How to assign votes in a distributed system
Hop-count filtering: An effective defense against spoofed DDoS traffic
Helix: Fast encryption and authentication in a single cryptographic primitive
Hardware support for a hash-based IP traceback
High-level software energy macro-modeling
Haystack: a platform for authoring end user semantic web applications
Hierarchical subspace sampling: A unified framework for high dimensional data reduction, selectivity estimation, and nearest neighbor search
Habitat monitoring: application driver for wireless communications technology
How People Write Together
HomeRF: Wireless Networking for the Connected Home
Herbrand's theorem and equational reasoning: Problems and solutions
Handling equality in logic programming via basic folding
Haystack: A Platform for Creating, Organizing and Visualizing Information Using RDF
Hardware/Software Co-Design
High availability in clustered multimedia servers
Haystack???s User Experience for Interacting with Semistructured Information
Hiding names: Private authentication in the applied pi calculus
Hierarchical model-based clustering of large datasets through fractionation and refractionation
Hiding more of hidden algebra
High Availability using Reliable Server Pooling
Hardware mechanisms for memory integrity checking
High-dimensional similarity joins
Handling encryption in an analysis for secure information flow
High-level Static and Dynamic Visualisation of Software Architectures
Hardware/software co-design using functional languages
Herbivore: A scalable and efficient protocol for anonymous communication
Hierarchical modularity
Homomorphism of secret sharing schemes: a tool for verifiable signature sharing
Human Free-Walking Model for a Real-time Interactive Design of Gaits, Computer Animation '90
Human body deformations using joint-dependent local operators and finite-element theory
Hierarchical clustering of words
Hidden Markov Tree Models for Complex Wavelet Transforms
Hiding a semantic hierarchy in a Markov model
Hash-based IP traceback
Heuristic search in cyclic AND/OR graphs
Hierarchical symmetry
How to prove all NP statements in zero-knowledge and a methodology of cryptographic protocol design
How to construct pseudorandom permutations from single pseudorandom functions
Hash-routing for collections of shared Web caches
Hidden congruent deduction
Hierarchical Kinematic Behaviors for Complex Articulated Figures
Hierarchical Scheduling for Multiple Classes of Applications in ConnectionOriented Integrated-Services Networks
How to Go Beyond the Black-Box Simulation Barrier
Hashcash - a denial of service counter-measure. http://www. cypherspace.org/hashcash
Hybrid cc with Interval Constraints
High-performance bidding agents for the continuous double auction
How to parse gaps in spoken utterances
Hierarchical browsing and search of large image databases
Humans plus agents maintain schedules better than either alone
High-performing feature selection for text classification
Hyperdimensional Data Analysis Using Parallel Coordinates
How does condensation behave with a finite number of samples
Head-Tracked Stereoscopic Display Using Image Warping
Handling Identity in Peer-to-Peer Systems
Hair animation with collision detection
Head-driven parsing for lexicalist grammars: Experimental results
How History Justifies System Architecture (or not
Healthcare Enterprise Process Development and Integration
Host multicast: A framework for delivering multicast to end users
Hardness of approximating problems on cubic graphs
Hierarchical task network planning as satisfiability
Hierarchically optimal average reward reinforcement learning
History of LISP
Human Conceptions of Spaces: Implications for Geographic Information Systems. National Center for Geographic Information and Analysis
Hardness of approximate hypergraph coloring
Heuristic and Randomized Optimization for the Join Ordering Problem
How to prevent type flaw attacks on security protocols
Human-Computer Interaction: Input Devices
Holographic recurrent networks
Handoffs in cellular wireless networks: The Daedalus implementation and experience
Helper agent: Designing an assistant for human-human interaction in a virtual meeting space
Heading in the right direction
Hybrid Self-Tracker: An Inertial/Optical Hybrid Three-Dimensional Tracking System
High performance communication and memory caching scheme for molecular dynamics on the CM-5
Hierarchical duration modelling for speech recognition using the ANGIE framework
Hierarchically Split Cube Forests for Decision Support: description and tuned design
How to prove higher order theorems in first order logic
Highly parallel sparse Cholesky factorization
Handbook of Computer Vision Algorithms in Image Algebra
Haptic manipulation of virtual mechanisms from mechanical CAD designs
Hyper-encryption against space-bounded adversaries from on-line strong extractors
Harnessing User-Level Networking Architectures for Distributed Object Computing over High-Speed Networks
Higher Order Correlation Attacks, XL algorithm and Cryptanalysis of Toyocrypt
How reliable are the results of large-scale information retrieval experiments
Heavy tails, generalized coding, and optimal Web layout
Homomorphic factorization of brdfs for high-performance rendering
Headmounted mobility aid for low vision using scene classification techniques
Handling Audio and Video Streams in a Distributed Environment
Hierarchical static scheduling of dataflow graphs onto multiple processors
Hyperschema theory for GP with one-point crossover, building blocks, and some new results in GA theory
HyperCuP/O ??? Shaping up peer-to-peer networks
Hybrid channel access scheduling in Ad Hoc networks
Handling Encryption in Analyses for Secure Information Flow
Hardness results for multicast cost sharing
HLCaches: An LDAP-based distributed cache technology for XML
Handling Exceptions in Haskell
Hardware and software aspects for 3-D wavelet decomposition on shared memory MIMD computers
Hardware support for fast and bounded-time storage allocation
How to convert any ID-based signature schemes into a group signature scheme. Cryptology ePrint Archive, Report 2002/116
Hierarchical hybrid modeling of embedded systems
Hippocratic databases
Hierarchical power-aware routing in sensor networks
Human Strategies in Translation and Interpreting - What MT can Learn from Translators
Hermes: A Distributed Event-Based Middleware Architecture
Herodotus: a peer-to-peer web archival system
Hallucinating faces
How do humans determine reflectance properties under unknown illumination
Hybrid languages
Helly theorems and generalized linear programming
High-Performance Web Crawling
Handling heterogeneity in shared-disk file systems
Hierarchical Agent Interface for Animation
Higher-Level Specification and Verification with BDDs
Handwriting recognition with support vector machines ??? a kernel approach
Human tracking in multiple cameras
Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
Human performance on clustering web pages
HyperPath/O2: Integrating Hypermedia Systems with Object-Oriented Database Systems
Hiding a semantic class hierarchy in a Markov model
How to Stretch Random Functions: The Security of Protected Counter Sums
Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning
Heterogeneous Active Agents, III: Polynomially implementable agents
Hidden neural networks: a framework for HMM/NN hybrids
How to summarize the universe: Dynamic maintenance of quantiles
Hierarchical clustering: A structure for scalable multiprocessor operating system design
Hidden Markov models for text categorization in multi-page documents
Holographic reduced representations
Herald: Achieving a global event notification service
Heterogeneous Active Agents, II: Algorithms and Complexity
Headline generation based on statistical translation
Hybrid Bayesian Networks for Reasoning About Complex Systems
HYPER: An interactive synthesis environment for high performance real time applications
Hippodrome: Running Circles around Storage Administration
How to build a Timely Computing Base using Real-Time Linux
Hidden markov models for human/computer interface modeling
Handling Linear Precedence Constraints by Unification
How can an agent learn to negotiate
Hybrid Temporal Reasoning
Hop integrity in computer networks
Homomorphic signature schemes
Highly scalable parallel algorithms for sparse matrix factorization
How to manage persistent state in DRM systems
Handling control
How to model an internetwork
High performance numerical computing in Java: Language and compiler issues
Heavy-traffic asymptotic expansions for the asymptotic decay rates
Heuristic search planner 2.0
Hierarchical discriminant features for audio-visual lvcsr
High-Level Design Verification of Microprocessors via Error Modeling
Hormones for self-reconfigurable robots
Hypercoherences: A strongly stable model of linear logic
Hardware support for dynamic access ordering: Performance of some design options
H/Direct: a binary foreign language interface for Haskell
Handling ELAN Rewrite Programs via an Exchange Format. This volume
Hardware support for extracting coarse-grain speculative parallelism in distributed shared-memory multiprocessors
Horus: A flexible group communication system
Hancock: A language for extracting signatures from data streams
How To Uniformly Specify Program Analysis and Transformation
Higher-order intensional type analysis
High-level server side web scripting in Curry
Highly deformable material for animation and collision processing
High-Quality Interactive Lumigraph Rendering Through Warping
Hierarchical Image Caching for Accelerated Walkthroughs of Complex Environments
Horting Hatches an Egg: A New Graph-Theoretic Approach to Collaborative Filtering
Hierarchical discriminant analysis for image retrieval
High performance protocol architecture
Hardness of approximating the minimum distance of a linear code
Hierarchical computation of PL harmonic embeddings
HAC: Hybrid Adaptive Caching for Distributed Storage Systems
Hybrid inertial and vision tracking for augmented reality registration
Hand-held windows: Towards effective 2d interaction in immersive virtual environments
How to strengthen DES using existing hardware
HOL Light: A tutorial introduction
Hybrid probabilistic programs
High-Level Power Modeling, Estimation, and Optimization
Hierarchical discriminant regression
Handling global conditions in parametrized system verification
How to schedule unlimited memory pinning of untrusted processes or provisional ideas about service neutrality
Hybrid languages and temporal logic
Human performance on clustering web pages: a preliminary study
Human observer responses to progressively compressed images
How many separately evolved emotional beasties live within us
Heavy tail modeling and teletraffic data
Humanoid as a research vehicle into flexible complex interaction
HMAC: Keyed-hashing for message authentication
How to recover efficiently and asynchronously when optimism fails
HPJava: Data Parallel Extensions to Java
High Speed FPGA Architectures for the Data Encryption Standard
Hybrid stan: Identifying and managing combinatorial optimisation sub-problems in planning
Hierarchical Verification of Two-Dimensional High-Speed Multiplication in PVS: A Case Study
Hive: Distributed agents for networking things
How to Migrate Agents
High performance reasoning with very large knowledge bases: A practical case study
Handwritten character recognition using neural network architectures
Hybrid scheduling for efficient ray tracing of complex images
Hierarchical Bayesian-Kalman Models for Regularisation and ARD in Sequential Learning
Highly nonlinear balanced Boolean functions with very good autocorrelation property
How to Enhance the Security of Public-Key Encryption at Minimum Cost
Heuristic cleaning algorithms in log-structured file systems
How does TCP generate Pseudo-self-similarity
Hierarchical graph transformation
Hard real-time communication in multiple-access networks
Hierarchical multi-agent reinforcement learning
Hereditarily Sequential Functionals
Homing by parameterized scene matching
High-level reformulation of constraint programs
Hiding cliques for cryptographic security
Handling dynamic schema change in process models. Australian Database Conference
Handling version sets through feature logic
Hoare logic and auxiliary variables
Hancock: A language for processing very large-scale data
Hilbert bases and the facets of special knapsack polytopes
Highly reliable upgrading of components
High performance OLAP and data mining on parallel computers
Hausdorff dimension of cut points for Brownian motion
Hierarchically distributed graph transformation
High-bandwidth encryption with low-bandwidth smartcards
Hamlyn: a high-performance network interface with sender-based memory management
High level design proof of a reliable computing platform
Hector --- A Hierarchically Structured Shared-Memory Multiprocessor
How does new evidence change our estimates of probabilities: Carnap???s formula revisited
Hidden Markov models and disease mapping
Height and gradient from shading
How to juggle discourse obligations
Hop reservation multiple access (HRMA) for multichannel packet radio networks
Hierarchical Wavelet Networks for Facial Feature Localization
Highly portable and efficient implementations of parallel adaptive N-body methods
How to break and repair a universally composable signature functionality
Heterogeneous mobile sensor net deployment using robot herding and line-of-sight formations
Hashcash - amortizable publicly auditable cost functions. Early draft of paper
Hierarchical simultaneous localization and mapping
Handling Boolean ABoxes
Horizontal and vertical decomposition in interior point methods for linear programs," Working paper
Heraclitus: Elevating deltas to be first-class citizens in a database programming language
Higher-Order Narrowing with Definitional Trees
How to calculate symbolically siphons and traps for some algebraic Petri nets
How to win a game with features
Hierarchical Markovian Models - Symmetries and Reduction
High Precision Touchscreens: Design Strategies and Comparisons with a Mouse
Handling mobile clients: A case for indirect interaction
Hypercubic sorting networks
Hierarchical Extension Operators and Local Multigrid Methods in Domain Decomposition Preconditioners
How we learn variation, optionality, and probability
Highlights from nhc -- a space-efficient Haskell compiler. In 6th Functional programming languages and computer architecture
How to specify and verify the long-run average behavior of probabilistic systems
How to deal with deviations during process model enactment
Head-corner parsing for TAG
Holographic stereograms as discrete imaging systems
High-performance routing trees with identified critical sinks
Handling Preferences in Constraint Logic Programming with Relational Optimization
Hierarchical tiling: a methodology for high performance
Histogram clustering for unsupervised segmentation and image retrieval
Human conversation as a system framework: Designing embodied conversational agents
High-level planning and control with incomplete information using pomdps
High-level semantic optimization of numerical codes
Hdrug, A flexible and extendible development environment for natural language processing
Hybrid Weighted Finite Automata for image and video compression. Januar
Histogram Refinement for Content-Based Image Retrieval
Hierarchical Coding of Light Fields with Disparity Maps
Hierarchical inter-domain routing protocol with on-demand ToS and policy resolution
Hiding information in document images
How to decide query containment under constraints using a description logic
High Performance Real-Time Gesture Recognition Using Hidden Markov Models
Hooking Your Solver to AMPL
HotDoc a flexible framework for spatial composition
How to prevent interaction of functional and inclusion dependencies
Harmonic analysis of neural networks
Hidden coinduction: Behavioral correctness proofs for objects
Hierarchical memory-based reinforcement learning
Hierarchical SIR and Rate Control on the Forward Link for CDMA Data Users Under Delay and Error Constraints
HOMEBOTS: Intelligent Decentralized Services for Energy Management
How to Learn an Unknown Environment I: The Rectilinear Case
Hierarchical routing for multi-layer ad-hoc wireless networks with UAVs
High performance virtual machines (HPVM): Clusters with supercomputing APIs and performance
Human-managed, hierarchical control of multiple mobile agents
Hierarchical tiling for improved superscalar performance
Hybrid systems in process control
HAVAL --- A One-Way Hashing Algorithm with Variable Length of Output
How Secure Are Elliptic Curves over Composite Extension Fields
Hierarchical Distance-Vector Multicast Routing for the MBone
Higher order trace relations for Schrodinger operators
Heuristic joins to integrate structured heterogeneous data. In Working notes of the AAAI spring symposium on information gathering in heterogeneous distributed environments
Hash functions based on block ciphers and quaternary codes
Heuristic search planning with BDDs
Hardware support for hiding cache latency
Histogram clustering for unsupervised image segmentation
Hybrid systems with finite bisimulations
Hardware Accelerated Wavelet Transformations
Heavy traffic analysis of a storage model with long range dependent on/off sources. Queueing Systems
Hybrid control in air traffic management systems
How to make replicated data secure
Hybrid control models of next generation air traffic management
Hypergeometric filters for optical flow and affine matching
Homogeneous concepts in a temporal description logic
High-resolution source coding for non-difference distortion measures: the rate distortion function
HyperStorM: An Extensible Object-Oriented Hypermedia Engine
Hierarchical a posteriori error estimators for mortar finite element methods with Lagrange multipliers
Hypertext transfer protocol -- HTTP/1.1
Hierarchical Modularity and Intermodule Optimization
How far can we `C'? defining a `doughnut' using connection alone
Higher-order rewrite systems and their confluence
Hardware Timing Verification using KRONOS
How to build robots that make friends and influence people
Higher-order narrowing with convergent systems
Halton Sequences for Mixed Logit
Hierarchical Encoding of MPEG Sequences Using Priority Encoding Transmission (PET
Highlighting Relevant Passages for Users of the Interactive SPIDER Retrieval System
Harissa: A flexible and efficient Java environment mixing bytecode and compiled code
Hashing Moving Objects
How much non-strictness do lenient programs require
Hammock-on-Ears Decomposition: A Technique for the Efficient Parallel Solution of Shortest Paths and Other Problems
Hierarchical Directory Controllers in the NUMAchine Multiprocessor
Hierarchical extension operators plus smoothing in domain decomposition preconditioners
How to Mark Fairly
Human-computer interaction for semantic disambiguation
Hierarchical watermarking in IC design
How Much Processing is Required for Cross-Document Coreference
HOLCF: Higher Order Logic of Computable Functions
Hades: A middleware support for distributed safety-critical real-time applications
Hierarchically Combined Queueing Petri Nets
Home-based SVM protocols for SMP clusters: Design and performance
Haskore music notation -- An algebra of music
How to Prove Where You Are
High Performance Fortran for highly irregular problems
How agents do it in stream logic programming
Hypothetical reasoning about actions: From Situation Calculus to Event Calculus
How to elicit many probabilities
High level specification of I/O in functional languages
Hybridizing concept languages
Hypermedia design, analysis, and evaluation issues
Hypermedia and the Teaching of Computer Science: Evaluating an Open System
Hierarchies of modal and temporal logics with reference pointers
Hybrid completeness
Hardware/software tradeoffs for bitmap graphics on the Blit
Higher-order families
Homography tensors: On algebraic entities that represent three views of static or moving planar points
Hypermedia Links and Information Retrieval
How to make SQL stand for string query language
Hash Functions Based on Block Ciphers
Hybrid logics: Characterization, interpolation and complexity
How to Prove Where You Are: Tracking the Location of Customer Equipment
High-level test generation using physically-induced faults
HeaRT: high performance routing table look up
Handling Multimedia Data for Mobile Computers
HySpirit --- a Probabilistic Inference Engine for Hypermedia Retrieval in Large Databases
High-performance bidirectional signalling in VLSI systems
Hyperplex: a world of 3d interactive digital movies
Hierarchical triangulation for multiresolution surface description
Httpdump: A network http packet snooper
Hidden subgroup states are almost orthogonal
How the Immune System Generates Diversity: Pathogen Space Coverage with Random and Evolved Antibody Libraries
Homology detection via family pairwise search
How to distribute GPS-time over COTS-based LANs
How to find a minimum spanning tree in practice
Highly Dynamic Destination-Sequenced Distance-Vector Routing (DSDV) for Mobile Computers
High performance synchronization algorithms for multiprogrammed multiprocessors
Hiding jitter in an audio stream
Head tracking via robust registration in texture map images
Hierarchical Structures for Dynamic Polygonal Simplification
Hardware speedups in long integer multiplication
Higher-order unification via explicit substitutions
Hindley/Milner style type systems in constraint form
Heap compression and binary I/O in Haskell
Herbrand constraint solving in HAL
Higher-Order Rewriting
Higher-order unication via explicit substitutions, extended abstract
How Useful Are Non-blocking Loads, Stream Buffers, and Speculative Execution in Multiple Issue Processors
Harnessing morphogenesis
Head Modeling from Pictures and Morphing in 3D with Image Metamorphosis Based on Triangulation
Homogeneous simplex splines
Heap-on-Top Priority Queues
How to make personalized web browsing simple, secure, and anonymous
HUHU: The Hebrew University Hebrew Understander
High-Level Constructs in the READY Event Notification System
How Symbiosis Can Guide Evolution
Homology of higher dimensional automata
Heterogeneous process migration: The Tui system
H-Walk: Hierarchical distance computation for moving convex bodies
Hybrid Poisson/Polynomial Objective Functions for Tomographic Image Reconstruction from Transmission Scans
Human Movement Analysis Based on Explicit Motion Models, chapter 8
High-rate codes that are linear in space and time
How much training is needed in multiple-antenna wireless links
Hierarchical spline-based image registration
Highly-Available, Scalable Network Storage
Hierarchical evolution of neural networks
Hyperspeech: Navigating in speech-only hypermedia
Hand pose estimation using hierarchical detection
Havasu: A multi-objective, adaptive query processing framework for data integration
Heartbeat traffic to counter (n-1) attacks
Hierarchical taxonomies using divisive partitioning
hQkb- The High Quality Knowledge Base Initiative (Sisyphus V: Learning Design Assessment Knowledge
Handling disynchronization phenomena with HMM in connected speech
Hierarchical image-based rendering using texture mapping hardware
Hierarchical timing analysis under the XBD0 model
HyperCast: A protocol for maintaining multicast group members in a logical hypercube topology
heat kernels and spanning trees
Higher-order unification via combinators
How different is different? Arguing about the significance of similarities and differences
Hardware Requirements for Spike-Processing Neural Networks
Harvest: A Scalable, Customizable Discovery and Access System
How to Personalize the Web
Higher-order logic programming as constraint logic programming
High-level coordination abstractions in stock languages
Horizons of Parallel Computation
Homogeneous stabilizing feedback laws
How Scalable is Domain Decomposition in Practice
Hebbian learning and competition in the neural abstraction pyramid
HimML: Standard ML with fast sets and maps
Hierarchical wrapper induction for semistructured information sources
Heterogeneous network computing
High-level planning and low-level execution: Towards a complete robotic agent
H.263+: Video coding at low bit rates
High Speed Switch Scheduling for Local Area Networks
Hypergraph construction and its application to the compositional modelling of concurrency
Hierarchical scheduling and allocation of multirate systems on heterogeneous multiprocessors
High-performance caching with the Lava hit-server
Hoare logic for mutual recursion and local variables
Hierarchical problem solving by the bayesian optimization algorithm
Hierarchical neural networks for text categorization
Harnessing the Capacity of Computational Grids for High Energy Physics
High level control of implicit surfaces for character animation
Hardening soft information sources
Higher-order Modules and the Phase Distinction
Hardware-assisted replay of multiprocessor programs
High-level language support for programming distributed systems
Hierarchical Cache Consistency in a WAN
Hyperform: A Hypermedia System Development Environment
Hash visualization: a new technique to improve real-world security
High-Performance Memory-based Face Recognition for Visitor Identification
Higher-order annotated terms for proof search
Hierarchic social entropy: An information theoretic measure of robot group diversity
Heavy-tailed probability distributions in combinatorial search
Hierarchical-map building and self-positioning with MonaLysa
Human hand modeling, analysis and animation in the context of human computer interaction
How to calculate symmetries of Petri nets
Hardening COTS Software with Generic Software Wrappers
Hierarchical Packet Fair Queueing Algorithms
Hierarchical topic-sensitive language models for automatic speech recognition
Hierarchical A*: Searching abstraction hierarchies efficiently
High-order small-time local controllability
How to get a free lunch: A simple cost model for machine learning applications
Hypernode reduction modulo scheduling
Hands Free Continuous Speech Recognition in Noisy Environment using a Four Microphone Array
How to Use a 64-Bit Virtual Address Space
HPF Array Statements: Communication Generation and Optimization
Hensel lifting and bivariate polynomial factorisation over finite fields
Human-guided simple search
Hentenryck, Constraint satisfaction in logic programming
Higher-order expression procedures
Honest-Verifier Statistical Zero-Knowledge equals general Statistical Zero-Knowledge
Hardware and Software Support for Speculative Execution of Sequential Binaries on a Chip-Multiprocessor
Heterogeneous-Criteria Scheduling: Minimizing Weighted Number of Tardy Jobs and Weighted Completion Time
H-RMC: A Hybrid Reliable Multicast Protocol for the Linux Kernel
Hiding routing information
Horizontal and vertical structuring techniques for statecharts
How asymmetry helps load balancing
Handling of inertia in a planning system
How to break and repair a "provably secure" untraceable payment system
Herbrand automata for hardware verification
How to build modeling agents to support web searchers
Hammersley's interacting particle process and longest increasing subsequences
How to break the direct RSAimplementation of MIXes
HeNCE: A heterogeneous network computing environment
Hyper Tableaux
Hardware/software partitioning using Integer Programming
HyperAudio: Location-Awareness + Adaptivity
Hardware-Software Codesign of Multidimensional Programs
Hierarchical optimization of policy-coupled semi-markov decision processes
Harold: A world made of drawings
Hardness Result for Tsp with Neighborhoods
Hidden Markov models for face recognition
Haptic rendering of surface-to-surface sculpted model interaction
High-Resolution Still Picture Compression
HOT curves for modeling and recognition of smooth curved 3D objects
How to buy a porsche: An approach to defeasible decision making
Higher-order redundancy elimination
Hardware acceleration of divide-and-conquer paradigms: a case study
Highway to the danger zone
HERA: Heterogeneous extension of RAID
Hierarchical virtual partitioning: Algorithms for virtual private networking
HiFi: A New Monitoring Architecture for Distributed Systems Management
How to make destructive updates less destructive
Hardware/Software Organization of a HighPerformance ATM Host Interface
Higher order unification and the interpretation of focus
HPP: HTML Macro-Preprocessing to Support Dynamic Document Caching
How to Communicate with Zillions of Robots
How to shrinkwrap through a critical point: an algorithm for the adaptive triangulation of iso-surfaces with arbitrary topology
HTML generation and semantic markup for telepathology
How To Search a Social Network
How to simulate billiards and similar systems
How to fake an RSA signature by encoding modular root finding as a SAT problem
How to Convert the Flavor of a Quantum Bit Commitment
How to make a semantic web browser
Hypergraph partitioning with fixed vertices
Hypertext paths and the World-Wide Web: Experiences with Walden???s Paths
Hyperelliptic Curve Cryptosystems: Closing the Performance Gap to Elliptic Curves
Hyperdynamics Importance Sampling
Hybrid resource control of active extensions
High performance question/answering
Hybrid Message Logging Protocols For Fast Recovery
Hybrid analytical-statistical modeling for efficiently exploring architecture and workload design spaces
Hierarchy-based access control in distributed environments
Hierarchical reasoning about direction relations
Hierarchical plan merging with applications to process planning
Hybrid systems diagnosis
Hypertext design environments and the hypertext design process
Higher dimensional transition systems
Hypermedia and cognition: Designing for comprehension
Hypertool: A Programming Aid for Message-Passing Systems
Hypertext categorization using hyperlink patterns and meta data
Hybrid media access protocols for a DSM system based on optical wdm networks
Hoeffding Races: Accelerating Model Selection Search for Classification and Function Approximation
How many clusters? Which clustering method? Answers via model-based cluster analysis
High time-resolution measurement and analysis of LAN traffic: Implications for LAN interconnection
Heterogeneous computing for example-based translation of spoken language
How to break a practical MIX and design a new one
Heterogeneous Multi-Robot Cooperation
How verb subcategorization frequencies are affected by corpus choice
Hardware Support for Control Transfers in Code Cache
Hybrid I/O automata
Hashing Methods and Relational Algebra Operations
How to prove yourself: Practical solutions to identification and signature problems
Handling Sparse Data by Successive Abstraction
Head automata for speech translation
Hidden understanding models of natural language
How to sign given any trapdoor permutation
Handling Infinite Temporal Data
Hardware verification using monadic second-order logic
Hierarchical automatic function definition in genetic programming
Hierarchical mixtures of experts and the em algorithm
Hierarchical Neural Networks for Partial Diagnosis in Medicine
How to do the right thing
Hierarchical and Variational Geometric Modeling with Wavelets
Homotopy continuation methods for nonlinear complementarity problems
How to net a lot with little: small "-nets for disks and halfspaces
Histogramic in-motion mapping for mobile robot obstacle avoidance
Hierarchically classifying documents using very few words
How to get a perfectly random sample from a generic Markov chain and generate a random spanning tree of a directed graph
Hidden annotation in content based image retrieval
Horn clauses and generalizations
Hardware Techniques to Improve the Performance of the Processor/Memory Interface
Heap profiling for space-efficient Java
Hierarchical Learning in Stochastic Domains: Preliminary Results
Hints for computer system design
How Things Are Intended to Work: Capturing Functional Knowledge in Device Design
How to allocate network centers
Hub4 Language Modeling Using Domain Interpolation and Data Clustering
High-level primitives for recursive maximum likelihood estimation
Hybrid SVM/HMM architectures for speech recognition
How to share a secret
Hybrid automata with finite bisimulations
Hierarchical bases
Half-order modal logic: How to prove real-time properties
Hybrid algorithms for approximate belief updating in bayes nets
Hybrid adaptive splines
Hybrid I/O automata revisited
Horn approximations of empirical data
Hypothesis testing with errors in the variables
Hardware-Software Trade-Offs in a Direct Rambus Implementation of the RAMpage Memory Hierarchy
HERMES: A Heterogeneous Reasoning and Mediator System
High-performance, parallel, stack-based genetic programming
H learning: A reinforcement learning method to optimize undiscounted average reward
Hierarchical placement and network design problems
Hitting the Memory Wall: Implications of the Obvious
Human face detection in visual scenes
Hierarchical Reinforcement Learning with the MAXQ Value Function Decomposition
Hierarchical Constraint Logic Programming
How to prefer more specific defaults in terminological default logic
HLS: Combining Statistical and Symbolic Simulation to Guide Microprocessor Designs
Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages
Harmonic control
Harmonic functions and collision probabilities
Hardness of approximations
Hierarchical model-based motion estimation
Hardness vs. randomness
Hierarchical representations of collections of small rectangles
Horn clauses and database dependencies
Hybrid HMM/ANN systems for training independent tasks: Experiments on phonebook and related improvements
Hypursuit: A hierarchical network search engine that exploits content-link hypertext clustering
HTN planning: Complexity and expressivity
How to track efficiently piecewise curved contours with a view to reconstructing 3D objects
HyperBF networks for real object recognition
Hidden markov models for detecting remote protein homologies
Hierarchical termination
Hypotheses in Kleene algebra
Hidden Markov models for sequence analysis: Extension and analysis of the basic method
How well do Bayes methods work for on-line prediction of f+1; \Gamma1g values
How to evolve autonomous robots: different approaches in evolutionary robotics