7121 search results - page 338 / 1425 » Functions as Session-Typed Processes |
134
click to vote
JSYML
2006
15 years 6 months ago
2006
In [Sca99], T. Scanlon proved a quantifier elimination result for valued D-fields in a three-sorted language by using angular component functions. Here we prove an analogous theore...
174
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
— Quantiles are very useful in characterizing the data distribution of an evolving dataset in the process of data mining or network monitoring. The method of Stochastic Approxima...
189
click to vote
SIGIR
2011
ACM
14 years 9 months ago
2011
ACM
Ranking function performance reached a plateau in 1994. The reason for this is investigated. First the performance of BM25 is measured as the proportion of queries satisfied on th...
180
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We propose an algorithm for creating superpixels. The major step in our algorithm is simply minimizing two pseudo-boolean functions. The processing time of our algorithm on images...
180
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Search spaces sampled by the process of Genetic Programming often consist of programs which can represent a function in many different ways. Thus, when the space is examined it i...