756 search results - page 23 / 152 » Model Order Reduction for Nonlinear IC Models |
105
click to vote
ACSD
2010
IEEE
14 years 9 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
100
click to vote
SPEECH
1998
14 years 11 months ago
1998
We consider the problem of obtaining a reduced dimension representation of electropalatographic (EPG) data. An unsupervised learning approach based on latent variable modelling is...
ICDM
2005
IEEE
15 years 5 months ago
2005
IEEE
The notion of relations is extremely important in mathematics. In this paper, we use relations to describe the embedding problem and propose a novel stochastic relational model fo...
BC
2002
14 years 11 months ago
2002
ACT This study presents a computational framework that capitalizes on known human neuromechanical characteristics during limb movements in order to predict man-machine interactions...
119
click to vote
DAC
2008
ACM
16 years 23 days ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...