Sciweavers

2328 search results - page 346 / 466
» Component Frameworks - A Case Study
Sort
View
AI
2007
Springer
15 years 4 months ago
Conservation principles and action schemes in the synthesis of geometric concepts
In this paper a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain re...
Luis Alberto Pineda
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 4 months ago
Single Parameter Combinatorial Auctions with Partially Public Valuations
We consider the problem of designing truthful auctions, when the bidders' valuations have a public and a private component. In particular, we consider combinatorial auctions w...
Gagan Goel, Chinmay Karande, Lei Wang
108
Voted
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 4 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
DSP
2008
15 years 4 months ago
Phase dependence mitigation for autocorrelation-based frequency estimation
The sinusoidal frequency estimation from short data records based on Toeplitz autocorrelation (AC) matrix estimates suffer from the dependence on the initial phases of the sinusoi...
Mustafa A. Altinkaya, Emin Anarim, Bülent San...
CCE
2006
15 years 4 months ago
A global view of graduate process control education
This paper reviews the status of graduate level process control education and surveys graduate process control offerings for more than 50 chemical engineering and control engineer...
Thomas F. Edgar, Babatunde A. Ogunnaike, Kenneth R...