Sciweavers

3387 search results - page 587 / 678
» Parallel graphics and visualization
Sort
View
AISC
2004
Springer
15 years 6 months ago
Proving and Constraint Solving in Computational Origami
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit...
113
Voted
AMAST
2006
Springer
15 years 6 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
EDUTAINMENT
2006
Springer
15 years 6 months ago
Trans-disciplinary Avenues in Education: Computing and Art
In this paper we report on an interdisciplinary course "Computing and Art" taught at the Sabanci University, Istanbul for the first time in fall of 2004. We also present...
Selim Balcisoy, Elif E. Ayiter
MICCAI
2000
Springer
15 years 6 months ago
Computer-Based Assessment of Body Image Distortion in Anorexia Nervosa Patients
A computer-based method for the assessment of body image distortions in anorexia nervosa and other eating-disordered patients is presented. At the core of the method is a realistic...
Daniel Harari, Miriam Furst, Nahum Kiryati, Asaf C...
135
Voted
HT
1991
ACM
15 years 6 months ago
Hyperspeech: Navigating in Speech-Only Hypermedia
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...
Barry Arons