Sciweavers

31686 search results - page 346 / 6338
» Resource typing in Guru
Sort
View
174
Voted
ICASSP
2008
IEEE
16 years 16 days 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
231
Voted
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 7 days 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
15 years 11 months 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
163
Voted
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
15 years 11 months 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»
15 years 11 months 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