Sciweavers

3013 search results - page 194 / 603
» Context-Oriented Domain Analysis
Sort
View
AUTOMATICA
2008
89views more  AUTOMATICA 2008»
15 years 6 months ago
Controller synthesis with guaranteed closed-loop phase constraints
In this paper, we present an analysis and synthesis framework for guaranteeing that the phase of a single-input, single-output closed-loop transfer function is contained in the int...
Wassim M. Haddad, VijaySekhar Chellaboina, Behnood...
NAR
2006
129views more  NAR 2006»
15 years 6 months ago
AliWABA: alignment on the web through an A-Bruijn approach
Multiple sequence alignment programs are an invaluable tool in computational biology. A-Bruijn Alignment (ABA) is a method for multiple sequence alignment that represents an align...
Neil C. Jones, Degui Zhi, Benjamin J. Raphael
RE
2006
Springer
15 years 6 months ago
A Case Study in Systematic Improvement of Language for Requirements
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
Kimberly S. Wasson
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
TASLP
2010
138views more  TASLP 2010»
15 years 1 months ago
Glimpsing IVA: A Framework for Overcomplete/Complete/Undercomplete Convolutive Source Separation
Abstract--Independent vector analysis (IVA) is a method for separating convolutedly mixed signals that significantly reduces the occurrence of the well-known permutation problem in...
Alireza Masnadi-Shirazi, Wenyi Zhang, Bhaskar D. R...