8398 search results - page 1136 / 1680 » Optimal Software Testing |
155
click to vote
GECCO
2003
Springer
16 years 12 days ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
246
click to vote
GLVLSI
2002
IEEE
16 years 4 days ago
2002
IEEE
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
192
click to vote
CPM
2010
Springer
16 years 2 hour ago
2010
Springer
We study the minimum mosaic problem, an optimization problem originated in population genomics. We develop a new lower bound, called the C bound. The C bound is provably higher and...
193
click to vote
HT
2009
ACM
15 years 12 months ago
2009
ACM
This paper develops a probabilistic framework that can model and predict group activity over time on online social media. Users of social media sites such as Flickr often face the...
202
click to vote
ICIAR
2009
Springer
15 years 11 months ago
2009
Springer
A self-adaptive Hidden Markov Model (SA-HMM) based framework is proposed for behavior recognition in this paper. In this model, if an unknown sequence cannot be classified into an...