Sciweavers

841 search results - page 114 / 169
» Generalized Projection Based M-Estimator: Theory and Applica...
Sort
View
IWEC
2007
13 years 9 months ago
Cultural Computing and the Self Concept: Towards Unconscious Metamorphosis
Abstract. We are exploring an application for a novel direction in humancomputer interaction named ‘cultural computing’, which aims to provide a new medium for cultural transla...
Tijn Kooijmans, Matthias Rauterberg
WSC
1997
13 years 9 months ago
System Concept Development with Virtual Prototyping
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
James C. Schaaf Jr., Faye Lynn Thompson
TOG
2008
92views more  TOG 2008»
13 years 8 months ago
Self-animating images: illusory motion using repeated asymmetric patterns
Illusory motion in a still image is a fascinating research topic in the study of human motion perception. Physiologists and psychologists have attempted to understand this phenome...
Ming-Te Chi, Tong-Yee Lee, Yingge Qu, Tien-Tsin Wo...
HPDC
1993
IEEE
14 years 5 days ago
Supporting Heterogeneity and Distribution in the Numerical Propulsion System
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
Patrick T. Homer, Richard D. Schlichting
ICFP
2009
ACM
14 years 8 months ago
Effective interactive proofs for higher-order imperative programs
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
Adam J. Chlipala, J. Gregory Malecha, Greg Morrise...