12399 search results - page 285 / 2480 » Deformable structural models |
186
click to vote
CEC
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—Protein structure prediction is the problem of finding the functional conformation of a protein given only its amino uence. The HP lattice model is an abstract formulat...
167
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
116
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper proposes a dereverberation method for musical audio signals. Existing dereverberation methods are designed for speech signals and are not necessarily effective for supp...
148
click to vote
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
121
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...