626 search results - page 56 / 126 » When Can Formal Methods Make a Real Difference |
120
Voted
DAWAK
2008
Springer
15 years 5 months ago
2008
Springer
The problem of discovering episode rules from static databases has been studied for years due to its wide applications in prediction. In this paper, we make the first attempt to st...
103
Voted
STOC
2009
ACM
16 years 4 months ago
2009
ACM
One of the most fundamental problems in web search is how to re-rank result web pages based on user logs. Most traditional models for re-ranking assume each query has a single int...
148
Voted
AINA
2010
IEEE
15 years 6 days ago
2010
IEEE
- This paper introduces a neural network training tool through computer networks. The following algorithms, such as neuron by neuron (NBN) [1][2], error back propagation (EBP), Lev...
118
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Automated comparison of complete sets of genes encoded in two genomes can provide insight on the genetic basis of differences in biological traits between species. Gen...
142
click to vote
CODES
2008
IEEE
15 years 10 months ago
2008
IEEE
The heterogeneity of modern MPSoC architectures, coupled with the increasing complexity of the applications mapped onto them has recently led to a lot of interest in hybrid perfor...