Sciweavers

2596 search results - page 168 / 520
» Gradual Typing for Objects
Sort
View
ICMCS
2000
IEEE
99views Multimedia» more  ICMCS 2000»
15 years 8 months ago
Hardware/Software Co-design for Real-Time Physical Modeling
Physical modeling of a mass-spring system allows for realistic object motion and deformation in a virtual environment. Previous work in this type of physical modeling relies on ge...
Benjamin Bishop, Thomas P. Kelliher, Mary Jane Irw...
RT
2000
Springer
15 years 7 months ago
Measuring Visual Shape using Computer Graphics Psychophysics
This paper reviews recent psychophysical methods that have been developed for measuring the perceived shape of objects. We discuss two types of shape ambiguities that exist for man...
Michael S. Langer, Heinrich H. Bülthoff
DAGSTUHL
2001
15 years 5 months ago
Constructive Foundations for Featherweight Java
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
Thomas Studer
ECCV
1994
Springer
16 years 5 months ago
Independent motion segmentation and collision prediction for road vehicles
This paper presents a method for doing motion segmentation for autonomous vehicles which drive on planar surfaces. There are two distinct types of independent motion that may occu...
David Sinclair, Boubakeur Boufama
ICMCS
2006
IEEE
112views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Minimum Phoneme Error based Filter Bank Analysis for Speech Recognition
In this paper the optimal filter-bank design method based on the Minimum Phone Error (MPE) criteria is investigated. We use Gaussian type filter bank for optimization and variou...
Hao Huang, Jie Zhu