Sciweavers

2498 search results - page 267 / 500
» A tool for materials exploration
Sort
View
CG
2007
Springer
15 years 6 months ago
Visualizing and animating the winged-edge data structure
The winged- and half- edge data structures are commonly used representations for polyhedron models. Due to the complexity, students in an introductory to computer graphics course ...
Bryan Neperud, John L. Lowther, Ching-Kuang Shene
AIEDU
2004
77views more  AIEDU 2004»
15 years 6 months ago
Interacting with Inspectable Bayesian Student Models
Inspectable student models focus on the idea of letting students and teachers interact with the representation of the student that the system maintains. Both humans and the system ...
Juan-Diego Zapata-Rivera, Jim E. Greer
MM
2010
ACM
129views Multimedia» more  MM 2010»
15 years 5 months ago
Facilitating interactive search and navigation in videos
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
Klaus Schoeffmann
TEI
2012
ACM
228views Hardware» more  TEI 2012»
14 years 2 months ago
DressUp: a 3D interface for clothing design with a physical mannequin
This paper introduces DressUp, a computerized system for designing dresses with 3D input using the form of the human body as a guide. It consists of a body-sized physical mannequi...
Amy Wibowo, Daisuke Sakamoto, Jun Mitani, Takeo Ig...
CAV
2012
Springer
223views Hardware» more  CAV 2012»
13 years 9 months ago
Detecting Fair Non-termination in Multithreaded Programs
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi...