Sciweavers

5465 search results - page 19 / 1093
» Assigning Types to Processes
Sort
View
CORR
2007
Springer
194views Education» more  CORR 2007»
13 years 7 months ago
Algebraic Signal Processing Theory: Cooley-Tukey Type Algorithms for DCTs and DSTs
Abstract—This paper presents a systematic methodology to derive and classify fast algorithms for linear transforms. The approach is based on the algebraic signal processing theor...
Markus Püschel, José M. F. Moura
RC
2007
78views more  RC 2007»
13 years 7 months ago
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...
Vladik Kreinovich, Jan Beck, Carlos Ferregut, Arac...
IEEESCC
2007
IEEE
14 years 1 months ago
A Novel Approach for Process Mining Based on Event Types
Changrui Ren, Lijie Wen, Jin Dong, Hongwei Ding, W...
FSEN
2007
Springer
14 years 1 months ago
Type Abstractions of Name-Passing Processes
Lucia Acciai, Michele Boreale
APLAS
2006
ACM
14 years 1 months ago
Type Processing by Constraint Reasoning
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny