Space-time tubes, a feature that can be used for analysis of motion based on the observed moving points in a scene is introduced. Information provided by sensors is used to detect moving points and based on their connectivity, tubes enable a structured approach towards identifying moving objects and high level events. It is shown that using tubes in conjunction with domain knowledge can overcom...

Product compatibility is becoming increasingly important especially in the IT industry due to a high level of network effect in this industry. This study empirically examines the business value of IT product compatibility initiatives with respect to the nature of the compatibility achieved (i.e., horizontal compatibility, vertical compatibility) and the type of focal product (i.e., software, ha...

This paper presents a methodology to develop synchronization code based on the global invariant (GI) approach in the context of the Uniied Process in UML. This approach has the following advantages: (1) it is a formal approach that enables formal veriication of programs being developed, (2) the most important activity in the programming process lies at a high level; namely, speciication of GIs,...

Our overall goal is to produce as automatic as possible facial expressions with wrinkles from spoken input. We focus on two aspects of this problem: integration of the expressive wrinkles and generation of synchronized speechanimation. Our facial model integrates facial muscles deformations and bulges. We have produced a high level programming language to automatically drive 3D animation of fac...

hardware architecture FPGA codes Cycle-accurate simulator SA-C compiler

Writing navigation expressions is an important part of the task of developing a model transformation de nition. When navigation is complex and the size of source models is signi cant, performance issues cannot be neglected. Model transformation languages often implement some variants of OCL as their navigation language. Writing e cient code in OCL is usually a di cult task because of the nature...

We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two potentially connicting goals: On the one hand, it should be simple and clear enough to serve as a vehicle for human-to-human communication of algorithmic ideas. On the other hand, it should be automatically translatable...

Most source-level debuggers accept expressions in the source language, e.g., C, and can print sourcelanguage values. This approach is usually justi ed on grounds that programmers need to know only one language. But the evaluation of source-language expressions or even statements is poorly suited for making non-trivial queries about the program state, e.g., \which elements of array x[100] are po...