5866 search results - page 302 / 1174 » An e-Process Selection Model |
189
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
165
click to vote
INFORMATICALT
2010
15 years 3 months ago
2010
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
162
click to vote
JDCTA
2010
15 years 1 months ago
2010
In this study, gene expression programming (GEP), a novel genetic algorithm, is used to develop quantitative model as potential screening mechanism for mineral crystal lattice ene...
142
click to vote
JMLR
2010
15 years 1 months ago
2010
The paper considers an interactive search paradigm in which at each round a user is presented with a set of k images and is required to select one that is closest to her target. P...
212
click to vote
NN
2010
Springer
15 years 1 months ago
2010
Springer
Kernelized LASSO (Least Absolute Selection and Shrinkage Operator) has been investigated in two separate recent papers (Gao et al., 2008) and (Wang et al., 2007). This paper is co...