CAD frameworks are expected to provide a broad spectrum of services to designers and CAD system developers, including tool integration, data management, process management, and methodology management. One of the difficulties in realizing this overall goal is the wide variation in requirements for modeling the information associated with each of these services, and the rough or nonexistent inter...

GIS systems often rely on low-level, pixel-based representations of satellite scenes. The purpose of this paper is to show the advantages of using an intermediate representation incorporating multiple criteria in scene characterisation, as well as a framework for monitoring changes over time based on features of interest. A Conceptual Spaces framework, in conjunction with navigation-based skele...

The MultiModal Interface Language formalism (MMIL) has been selected as the High Level Semantic (HLS) formalism for annotating the French MEDIA dialogue corpus. This corpus is composed of human-machine dialogues in the domain of hotel reservation and tourist information. Utterances in dialogues have been previously annotated with a concept-value flat semantics for studying and evaluating spoken...

Multiresolution models represent objects providing a wide range of resolutions or levels of detail (LOD). Efficient storage and retrieval of the different LODs is necessary in order to achieve interactive visualization. In this paper we present a data structure and algorithm that, using a Multiresolution Ordered Meshes (MOM) representation, allow us to extract uniform resolution LODs exploiting...

This paper identifies high-level program properties that can be discovered by static analysis in a compiler front end, and that are useful for classical low-level optimizations. We suggest how intermediate language code could be annotated to convey these properties to the code generator.

Static Single Assignment (SSA) form is an intermediate representation that allows a compiler to perform advanced optimizations to extract parallelism. Predication is an architectural feature to maximize instruction level parallelism. If a compiler uses a predicated SSA form that is a combination of an SSA form and predication as an intermediate representation, it can perform advance optimizatio...

The aim of tiffs paper is to show that when a development life cycle of representation refinement is utilized, that follows the principles of Newell’s Knowledge-Level, then the system will become self validating. This is illustrated through a rigorous development methodologythat utilizes formal techniques in the specification of the domain knowledge, the cognitive aspects and the representation...

Block diagram languages provide an effective approach to developing Digital Signal Processing applications. The tools that support block diagram languages use existing compilation systems to produce code. The inefficiencies of the compilation systems are compounded with inefficiencies interfacing to them. Generation of intermediate code direct from the block diagram bypasses these inefficiencie...

a r t i c l e i n f o Complex event recognition is the problem of recognizing events in long and unconstrained videos. In this extremely challenging task, concepts have recently shown a promising direction where core low-level events (referred to as concepts) are annotated and modeled using a portion of the training data, then each complex event is described using concept scores, which are feat...