HMC: Verifying Functional Programs Using Abstract Interpreters

HMM Speaker Identification Using Linear and Non-linear Merging Techniques

HMM Specialization with Selective Lexicalization

HMTT: A Hybrid Hardware/Software Tracing System for Bridging Memory Trace's Semantic Gap

HNO3, N2O5, and ClONO2 enhancements after the October-November 2003 solar proton events

Hobby-Eberly Telescope Segment Alignment Maintenance System

Hobby-Eberly Telescope: a progress report

Hobby-Eberly Telescope: current status

Hobby-Eberly telescope: LRS-J HAWAII-1 detector electronics

Hoffmeyer's Weather Charts

Hohlraum symmetry measurements with surrogate solid targets (invited)

Hoku Kea - Educational 1meter Telescope on Mauna Kea

Holant Problems for Regular Graphs with Complex Edge Functions

Hole Detection for Increasing Coverage in Wireless Sensor Network Using Triangular Structure

Hole trapping in MOSFET by hot carrier stressing and ionizing irradiation at 77K

Holes in the nightside ionosphere of Venus

Holistic Approach for Critical System Security: Flooding Prevention and Malicious Packet Stopping

Hollow cathode ion lasers for deep ultraviolet Raman spectroscopy and fluorescence imaging

Hollow cathode pulsed ion metal vapor lasers

Hollow Cathode Thrust Measurements Using a Target