Sciweavers

753 search results - page 7 / 151
» Constructing program animations using a pattern-based approa...
Sort
View
CCGRID
2006
IEEE
14 years 1 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
CHI
2004
ACM
14 years 1 months ago
Topobo: a constructive assembly system with kinetic memory
We introduce Topobo, a 3D constructive assembly system embedded with kinetic memory, the ability to record and playback physical motion. Unique among modeling systems is Topoboʼs...
Hayes Raffle, Amanda J. Parkes, Hiroshi Ishii
PCM
2004
Springer
90views Multimedia» more  PCM 2004»
14 years 1 months ago
Online Play Segmentation for Broadcasted American Football TV Programs
Abstract. This paper proposes an online segmentation scheme for broadcasted American football TV programs. The TV video streams are online partitioned into a series of play-break p...
Liexian Gu, Xiaoqing Ding, Xian-Sheng Hua
FM
2006
Springer
148views Formal Methods» more  FM 2006»
13 years 11 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
CORR
2012
Springer
232views Education» more  CORR 2012»
12 years 3 months ago
A Formal Comparison of Approaches to Datatype-Generic Programming
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
José Pedro Magalhães, Andres Lö...