Sciweavers

631 search results - page 45 / 127
» Deriving Specifications from Requirements: An Example
Sort
View
ECIS
2004
13 years 10 months ago
A strategy modelling technique for financial services
Strategy planning processes often suffer from a lack of conceptual models that can be used to represent business strategies in a structured and standardized form. If natural langu...
Bernd Heinrich, Robert Winter
FCCM
2002
IEEE
171views VLSI» more  FCCM 2002»
14 years 1 months ago
Coarse-Grain Pipelining on Multiple FPGA Architectures
Reconfigurable systems, and in particular, FPGA-based custom computing machines, offer a unique opportunity to define application-specific architectures. These architectures offer...
Heidi E. Ziegler, Byoungro So, Mary W. Hall, Pedro...
CDC
2009
IEEE
128views Control Systems» more  CDC 2009»
14 years 14 days ago
The entropy penalized minimum energy estimator
This paper addresses the state estimation problem of nonlinear systems. We formulate the problem using a minimum energy estimator (MEE) approach and propose an entropy penalized sc...
Sergio Daniel Pequito, A. Pedro Aguiar, Diogo A. G...
FLAIRS
2004
13 years 10 months ago
Reasoning on Spatial Constraints over Regions
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...
Kazuko Takahashi
ISBI
2006
IEEE
14 years 9 months ago
Assessing the accuracy of non-rigid registration with and without ground truth
We compare two methods for assessing the performance of groupwise non-rigid registration algorithms. One approach, which has been described previously, utilizes a measure of overl...
Roy Schestowitz, Carole J. Twining, Timothy F. Coo...