Sciweavers

4270 search results - page 25 / 854
» A Permutation Approach to Validation
Sort
View
VLSID
2002
IEEE
189views VLSI» more  VLSID 2002»
16 years 4 days ago
Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...
Prabhat Mishra, Hiroyuki Tomiyama, Ashok Halambi, ...
WSC
1996
15 years 1 months ago
Verifying and Validating Simulation Models
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...
Robert G. Sargent
ICASSP
2011
IEEE
14 years 3 months ago
Decision tree-based context clustering based on cross validation and hierarchical priors
The standard, ad-hoc stopping criteria used in decision tree-based context clustering are known to be sub-optimal and require parameters to be tuned. This paper proposes a new app...
Heiga Zen, Mark J. F. Gales
85
Voted
FLAIRS
2006
15 years 1 months ago
Fast Generation of a Sequence of Trained and Validated Feed-Forward Networks
In this paper, three approaches are presented for generating and validating sequences of different size neural nets. First, a growing method is given along with several weight ini...
Pramod Lakshmi Narasimha, Walter Delashmit, Michae...
HICSS
1997
IEEE
135views Biometrics» more  HICSS 1997»
15 years 4 months ago
Animation for Validation of Business System Specifications
Business System Engineers, responding to changes in the market place, are faced with the challenge of building increasingly complex and varied systems. Formal approaches and model...
V. Lalioti