747 search results - page 8 / 150 » Using and Combining Predictors That Specialize |
114
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper proposes a novel hybrid GA/SVM method that can predict the interactions between proteins intermediated by the protein-domain relations. Firstly, we represented a protein...
122
Voted
TVLSI
2008
15 years 3 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
134
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a system and a set of tools for producing special effects in film/video making by applying image processing and human centered computing techniques. A combination of s...
135
Voted
ENTCS
2006
15 years 3 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
132
Voted
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...