2173 search results - page 327 / 435 » On the Values of Reducibility Candidates |
166
click to vote
CSL
2004
Springer
15 years 11 months ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...
167
click to vote
DEXA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In relational database management systems indexes are used to accelerate specific queries. The selection of indexes is an important task when tuning a database which is ...
157
click to vote
EWCBR
2004
Springer
15 years 11 months ago
2004
Springer
Taxonomic case retrieval systems significantly outperform standard conversational case retrieval systems. However, their feature taxonomies, which are the principal reason for thei...
157
click to vote
GC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Structured peer-to-peer overlay networks are a class of algorithms that provide efficient message routing for distributed applications using a sparsely connected communic...
169
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Multiple Species Weighted Voting (MSWV) is a genetics-based machine learning (GBML) system with relatively few parameters that combines N two-class classifiers into an N -class cla...