Sciweavers

4205 search results - page 342 / 841
» Typed Mobile Objects
Sort
View
DAGSTUHL
2001
15 years 8 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 8 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»
16 years 20 days 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
WSC
2001
15 years 8 months ago
Quantifying simulation output variability using confidence intervals and statistical process control
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
Amy Jo Naylor
JFP
2006
88views more  JFP 2006»
15 years 6 months ago
Type-based confinement
Confinement properties impose a structure on object graphs which can be used to enforce encapsulation properties. From a practical point of view, encapsulation is essential for bu...
Tian Zhao, Jens Palsberg, Jan Vitek