This workshop investigates the emergent online dramatic form of "machinima", the co-option of video game engines or off-the-shelf software for dramatic production in a rapidly developing digital performance ...
详细信息
Analysis of program running time is important for several applications, including reactive systems, interactive environments, compiler optimizations and performance evaluation. Automatic and efficient prediction of ac...
详细信息
ISBN:
(纸本)9781581134551
Analysis of program running time is important for several applications, including reactive systems, interactive environments, compiler optimizations and performance evaluation. Automatic and efficient prediction of accurate time bounds is particularly important, and being able to do so for high-level languages is particularly desirable. This paper presents a general approach for automatic and accurate time-bound analysis for a functional high-level language, that combines methods and techniques studied in theory, languages, and systems. The approach consists of transformations for building time-bound functions in the presence of partially known input structures, symbolic evaluation of the time-bound function based on input parameters, optimizations to make the analysis efficient as well as accurate, and measurements of primitive parameters, all at the source-language level. To handle higher-order functions, special transformations are needed to build lambda expressions for computing running times, to optimize the construction of the time lambda expressions, and to optimize the symbolic evaluation. It took us several tries to obtain the simple and concise transformations for handling lambda expressions. We describe analysis and transformation algorithms and explain how they work. We have implemented this approach and performed a large number of experiments analyzing Scheme programs. The measured worst-case times are closely bounded by the calculated bounds. We describe our prototype system, ALPA, as well as the analysis and measurement results.
We explore the potential of information visualization techniques in enhancing existing methodologies for domain analysis and modeling. In this case study, we particularly focus on visualizing the evolution of the hype...
详细信息
ISBN:
(纸本)9780780358973
We explore the potential of information visualization techniques in enhancing existing methodologies for domain analysis and modeling. In this case study, we particularly focus on visualizing the evolution of the hypertext field based on author co-citation patterns, including the use of a sliding-window scheme to generate a series of annual snapshots of the domain structure, and a factor-referenced color-coding scheme to highlight predominant specialties in the field.
Controlling an autonomous camera in three-dimensional (3D) virtual environments is a difficult task which manifests itself in many interactivecomputergraphics applications. computer games [2] and guided exploration ...
ISBN:
(纸本)3540232419
Controlling an autonomous camera in three-dimensional (3D) virtual environments is a difficult task which manifests itself in many interactivecomputergraphics applications. computer games [2] and guided exploration [1] are examples where autonomous cameras are required to provide suitable views of the scene as the user interacts with the environment. The camera system is expected to consistently provide a suitable view of the target object(s) for the user. The camera control problem is often over-constrained. We successfully applied local search strategies to generate solutions to the problem in real-time. A cost is associated with each constraint (current constraints are: distance, height, occlusion, frame coherence rotation, and frame coherence distance), making some constraints more likely to be satisfied than others. A 3D game engine was developed to evaluate the cameras real-time performance. Preliminary comparisons with related works indicate significant performance benefits from the use of local search.
Rendering computer animation frames is a very time consuming job. Using parallel computing on clusters and so-called render farms is a common solution to this problem. In this paper we describe how Grid computing can ...
详细信息
ISBN:
(纸本)1595935649
Rendering computer animation frames is a very time consuming job. Using parallel computing on clusters and so-called render farms is a common solution to this problem. In this paper we describe how Grid computing can be used for computer animation rendering. We propose a framework for Grid rendering services, describe its implementation, and present the results and statistics. A loseless 3D compression algorithm was also devised to solve the existing problem of transferring gigabytes of scene representation files (Renderman (.rib) and mental images (.mi)). This compression algorithm has been filed for patent in Singapore.
A marking menu allows a user to perform a menu selection by either popping-up a radial (or pie) menu, or by making a straight mark in the direction of the desired menu item without popping-up the menu. A hierarchic ma...
详细信息
ISBN:
(纸本)9780897915755
A marking menu allows a user to perform a menu selection by either popping-up a radial (or pie) menu, or by making a straight mark in the direction of the desired menu item without popping-up the menu. A hierarchic marking menu uses hierarchic radial menus and “zig-zag” marks to select from the hierarchy. This paper experimentally investigates the bounds on how many items can be in each level, and how deep the hierarchy can be, before using a marking to select an item becomes too slow or prone to errors.
While a significant effort is currently being undertaken by the CHI community in order to apply and extend current usability evaluation techniques to new kinds of interaction techniques very little has been done to im...
详细信息
ISBN:
(纸本)1595936424
While a significant effort is currently being undertaken by the CHI community in order to apply and extend current usability evaluation techniques to new kinds of interaction techniques very little has been done to improve the reliability of software offering these kinds of interaction techniques. As these new interaction techniques are currently more and more used in the field of command and control safety critical systems the potential of incident or accidents increases. Similarly, the non reliability of interactive software can jeopardize usability evaluation by showing unexpected or undesired behaviors. Lastly, iterative design processes promote multiple designs through evolvable prototypes in order to accommodate requirements changes and results from usability evaluations thus reducing reliability of the final system by lack of global and structured design. The aim of this SIG is to provide a forum for both researchers and practitioners interested in safety critical interactive systems. Our goal is to define a roadmap of activities to cross fertilize usability, reliability and safety for these kinds of systems to minimize duplicate efforts and reuse knowledge in all the communities involved.
Depression is a serious public health problem. Current diagnosis techniques rely on physician-administered or patient self-administered interview tools, which are burdensome and suffer from recall bias. Recent studies...
详细信息
As applications originating on desktop computers find their way onto multi-touch enabled mobile devices many inter- action tasks that were designed for computer mice spread to new touch-based environments. One example...
详细信息
暂无评论