752 search results - page 56 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
112
Voted
ICPPW
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an analysis on the performance of a parallel implementation of a discrete model of laser dynamics, which is based on cellular automata. The performance of a 2D...
109
Voted
ICCAD
1999
IEEE
15 years 7 months ago
1999
IEEE
Available techniques for testing core-based systems-on-a-chip (SOCs) do not provide a systematic means for synthesising low-overhead test architectures and compact test solutions....
117
click to vote
CAINE
2003
15 years 4 months ago
2003
This paper discusses the development of a computational modeling and analysis toolkit to construct, animate, and biomechanically analyze sophisticated models of vertebrates. Users...
145
click to vote
SMC
2010
IEEE
15 years 1 months ago
2010
IEEE
—This study examines the ability of nonnegative matrix factorization (NMF) as a method for constructing semantic spaces, in which the meaning of each word is represented by a hig...
122
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
This paper proposes a new prosodic phrasing model for Chinese text-tospeech systems. First, in contrast to the commonly used CART techniques, we propose a new inductive learning a...