754 search results - page 113 / 151 » Automated Model Selection Using Context-Dependent Behaviors |
127
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Identification of those genes that might anticipate the clinical behavior of different types of cancers is challenging due to availability of a smaller number of patient samples...
124
click to vote
IJVR
2007
15 years 4 months ago
2007
—In this paper we report about the use of computer generated affect to control body and mind of cognitively modeled virtual characters. We use the computational model of affect A...
159
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
182
click to vote
DLT
2009
15 years 1 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
144
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
The use of large instruction windows coupled with aggressive out-oforder and prefetching capabilities has provided significant improvements in processor performance. In this paper...