Automated Thermal Sample Acquisition with Applications

Automated thin-film analyses of hydrated interplanetary dust particles in the analytical electron microscope

Automated tone transcription

Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)

Automated Vehicle Location (AVL) Using Global Positioning System (GPS)

Automated Verification of Practical Garbage Collectors

Automated verification of weak equivalence within the SMODELS system

Automated words stability and languages phylogeny

Automated, Closed Form Integration of Formulas in Elliptic Motion.

Automatic Alignment of English-Chinese Bilingual Texts of CNS News

Automatic Analog Beamforming Transceiver for 60 GHz Radios

Automatic analysis of distance bounding protocols

Automatic annotation of multilingual text collections with a conceptual thesaurus

Automatic Annotation of XHTML Pages with Audio Components

Automatic Belief Revision in SNePS

Automatic checkout for missions to Mars

Automatic Classification of Stellar Spectra

Automatic Classification of Text Databases through Query Probing

Automatic Classification of X-rated Videos using Obscene Sound Analysis based on a Repeated Curve-like Spectrum Feature

Automatic Classification using Self-Organising Neural Networks in Astrophysical Experiments