4184 search results - page 176 / 837 » Names of Our Lives |
91
Voted
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
106
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a new algorithm named Kernel Bisecting k-means and Sample Removal (KBK-SR) as a sampling preprocessing for SVM training to improve the scalability. The novel c...
124
click to vote
NLDB
2007
Springer
15 years 8 months ago
2007
Springer
The application of the multilingual knowledge encoded in Wikipedia to an open–domain Cross–Lingual Question Answering system based on the Inter Lingual Index (ILI) module of Eu...
104
click to vote
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
We propose a novel two-level Boolean minimizer coming in succession to our previously developed minimizer BOOM, so we have named it BOOM-II. It is a combination of two minimizers,...
124
click to vote
IMSCCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Slowdown is used to measure the fairness degree of a scheduling algorithm in existing work. However, the fairness degree should be considered within a scheduling algorithm; rather...