Sciweavers

2925 search results - page 371 / 585
» Input Modeling Using Quantile Statistical Methods
Sort
View
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 7 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
DATE
2002
IEEE
111views Hardware» more  DATE 2002»
15 years 7 months ago
A Linear-Centric Modeling Approach to Harmonic Balance Analysis
In this paper we propose a new harmonic balance simulation methodology based on a linear-centric modeling approach. A linear circuit representation of the nonlinear devices and as...
Peng Li, Lawrence T. Pileggi
TIP
2008
98views more  TIP 2008»
15 years 2 months ago
Image Interpolation by Adaptive 2-D Autoregressive Modeling and Soft-Decision Estimation
The challenge of image interpolation is to preserve spatial details. We propose a soft-decision interpolation technique that estimates missing pixels in groups rather than one at a...
Xiangjun Zhang, Xiaolin Wu
IWVF
2001
Springer
15 years 6 months ago
Head Model Acquisition from Silhouettes
This paper describes a practical system developed for generating 3D models of human heads from silhouettes alone. The input to the system is an image sequence acquired from circula...
Kwan-Yee Kenneth Wong, Paulo R. S. Mendonça...
WER
2000
Springer
15 years 5 months ago
Non-Functional Requirements for Object-Oriented Modeling
Recently, it has been pointed out that the majority of the requirements engineering methods do not take into account non-functional requirements (NFRs) [10][11]. Consequently, we h...
Jaime de Melo Sabat Neto, Julio Cesar Sampaio do P...