602 search results - page 38 / 121 » Efficient Model Checking of Applications with Input Output |
ICPR
2006
IEEE
14 years 10 months ago
2006
IEEE
In this paper, we apply a multiple regression method based on Canonical Correlation Analysis (CCA) to face data modelling. CCA is a factor analysis method which exploits the corre...
LREC
2008
13 years 10 months ago
2008
This paper presents a freely available, and flexible Wizard of Oz environment for rapid prototyping. The system is designed to investigate the required features of a dialog system...
JSAC
2006
13 years 9 months ago
2006
Abstract--This work presents a channel model for the broadband characterization of power lines in presence of time variation of the loads. The model is characterized by taking into...
DAC
1998
ACM
14 years 1 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...