747 search results - page 8 / 150 » Using and Combining Predictors That Specialize |
CEC
2007
IEEE
13 years 11 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...
TVLSI
2008
13 years 7 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...
ICMCS
2006
IEEE
14 years 1 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...
ENTCS
2006
13 years 7 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...
AMAST
2008
Springer
13 years 9 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...