Automatic structures of bounded degree revisited

Automatic Structures: Richness and Limitations

Automatic summarising: factors and directions

Automatic Summarization System coupled with a Question-Answering System (QAAS)

Automatic Synthesis of Switching Controllers for Linear Hybrid Automata

Automatic system for counting cells with elliptical shape

Automatic target detection and recognition approaches for unattended electo-optical sensors

Automatic Telescope Search for Extrasolar Planets

Automatic Termination Analysis of Programs Containing Arithmetic Predicates

Automatic Text Area Segmentation in Natural Images

Automatic Theorem-Proving in Combinatorics on Words

Automatic transcription of 17th century English text in Contemporary English with NooJ: Method and Evaluation

Automatic Tuning of Interactive Perception Applications

Automatic Tuning of SMART, KOSMA's 490/810 GHz Array Receiver

Automatic validation of operational procedures use for SPOT5 satellite qualification

Automatic Vehicle Checking Agent (VCA)

Automatic Verification of Correspondences for Security Protocols

Automatic Verification of Parametric Specifications with Complex Topologies

Automatic Verification of Timed Concurrent Constraint Programs

Automatic Video System for Continues Monitoring of the Meteor Activity