This paper describes a system for the mining of surveillance video. The main contributions are: providing a high level query language for submitting queries about spatial and temporal relations of background regions and moving entities, and about human activities; providing a compiler to map high level queries into a set...
This white paper deals with developing of an algorithm, the basis of which is to make the dataflow availability information precise using a technique called as SIDE: Statically Instantiate and Dynamically Evaluate. In SIDE the compiler inserts explicit code to evaluate the dataflow information at runtime. The reveals that the...
ATLAS is a specification language defined to outline city sections as cell spaces. A static view of the city section to be analyzed can be defined, and a modeler is able to define complex traffic models in a simple fashion. A compiler for this specification language called TSC was built....
Tillinghast Software Solutions has improved its property and casualty financial modeling tool - the Advanced Financial Model AFM - for MoSes version 5. With these changes, the modeler can measure the effect of several additional sources of risk and can capture more of the subtle interactions between them. Some examples...
