Sciweavers

2596 search results - page 22 / 520
» Gradual Typing for Objects
Sort
View
SIGACT
1998
69views more  SIGACT 1998»
14 years 10 months ago
Polymorphism, objects and abstract types
Peter W. O'Hearn
78
Voted
CAISE
2006
Springer
15 years 2 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
83
Voted
JOT
2007
94views more  JOT 2007»
14 years 11 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
TASLP
2008
100views more  TASLP 2008»
14 years 10 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...