Sciweavers

31686 search results - page 346 / 6338
» Resource typing in Guru
Sort
View
189
Voted
ICASSP
2008
IEEE
16 years 1 months ago
Some properties of an empirical mode type signal decomposition algorithm
The empirical mode decomposition (EMD) has seen widespread use for analysis of nonlinear and nonstationary time-series. Despite some practical success, it lacks a firm theoretica...
Stephen D. Hawley, Les E. Atlas, Howard J. Chizeck
249
Voted
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 1 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
RTCSA
2005
IEEE
16 years 13 days ago
Real-Time Scheduling of Sporadic Task Systems When the Number of Distinct Task Types Is Small
In some real-time application systems, there are only a few distinct kinds of tasks, each of which may be instantiated several times during runtime. The scheduling of such sporadi...
Sanjoy K. Baruah, Nathan Fisher
183
Voted
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
16 years 6 days ago
Constructing Polymorphic Programs with Quotient Types
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
Michael Abbott, Thorsten Altenkirch, Neil Ghani, C...
PSD
2004
Springer
186views Database» more  PSD 2004»
16 years 6 days ago
Privacy Preserving and Data Mining in an On-Line Statistical Database of Additive Type
In an on-line statistical database, the query-answering system should prevent answers to statistical queries from leading to disclosure of confidential data. On the other hand, a s...
Francesco M. Malvestuto, Mauro Mezzini