Sciweavers

2596 search results - page 22 / 520
» Gradual Typing for Objects
Sort
View
59
Voted
SIGACT
1998
69views more  SIGACT 1998»
14 years 9 months ago
Polymorphism, objects and abstract types
Peter W. O'Hearn
CAISE
2006
Springer
15 years 1 months ago
Inter Model Data Exchange of Type Information via a Common Type Hierarchy
Data exchange between heterogeneous schemas is a difficult problem that becomes more acute if the source and target schemas are from different data models. The data type of the obj...
Andrew Smith, Peter McBrien
JOT
2007
94views more  JOT 2007»
14 years 9 months ago
A Typing Scheme for Behavioural Models
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
Ashley T. McNeile, Nicholas Simons
81
Voted
TASLP
2008
100views more  TASLP 2008»
14 years 9 months ago
Noise Tracking Using DFT Domain Subspace Decompositions
All discrete Fourier transform (DFT) domain-based speech enhancement gain functions rely on knowledge of the noise power spectral density (PSD). Since the noise PSD is unknown in a...
Richard C. Hendriks, Jesper Jensen, Richard Heusde...