8109 search results - page 483 / 1622 » A Model of Component-Based Programming |
196
click to vote
RECOMB
2001
Springer
16 years 8 months ago
2001
Springer
Hidden Markov models (HMMs) have been successfully applied to a variety of problems in molecular biology, ranging from alignment problems to gene nding and annotation. Alignment p...
204
click to vote
ICCAD
2007
IEEE
16 years 4 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
199
click to vote
UM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
179
click to vote
UM
2009
Springer
16 years 2 months ago
2009
Springer
We present a model of user affect to recognize multiple user emotions during interaction with an educational computer game. Our model deals with the high level of uncertainty invol...
173
click to vote
KBSE
2008
IEEE
16 years 2 months ago
2008
IEEE
—We describe PTYASM, an enhanced version of the YASM software model checker which uses proof templates. These templates associate correctness arguments with common programming id...