Sciweavers

2925 search results - page 371 / 585
» Input Modeling Using Quantile Statistical Methods
Sort
View
118
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 5 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 5 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
107
Voted
TIP
2008
98views more  TIP 2008»
15 years 13 days 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
113
Voted
IWVF
2001
Springer
15 years 5 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...
106
Voted
WER
2000
Springer
15 years 4 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...