In air traffic management, a pairwise conflict is a predicted loss of separation between two aircraft, referred to as the ownship and the intruder. A conflict prevention bands system computes ranges of maneuvers for the ownship that characterize regions in the airspace that are either conflict-free or “don’t go” zones that the ownwhip has to avoid. Conflict prevention bands are surprisingly dif...

This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics of UML sequence diagrams is encoded into the Prototype Verification System (PVS). The primary objective of our work is to make UML models amenable to rigorous analysis by providing their precise semantics. This approac...

This paper describes about the work done in building a prototype text to speech system for Sanskrit. A basic prototype text-tospeech is built using a simplified Sanskrit phone set, and employing a unit selection technique, where prerecorded sub-word units are concatenated to synthesize a sentence. We also discuss the issues involved in building a full-fledged text-to-speech for Sanskrit.

Prototype

1. OBJECTIVES The overall objective of this proposal is to model and mine geospatial (GS) patterns in multijurisdiction and multi-temporal (MJMT) datasets to accurately track, monitor, and predict human activities. Several scientific and technical challenges arise when modeling GS patterns in MJMT datasets due to the spatio-temporal nature and heterogeneity of datasets. These represent major ba...