2173 search results - page 327 / 435 » On the Values of Reducibility Candidates |
183
click to vote
CSL
2004
Springer
16 years 12 days 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,...
189
Voted
DEXA
2004
Springer
16 years 12 days 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 ...
186
click to vote
EWCBR
2004
Springer
16 years 12 days 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...
181
click to vote
GC
2004
Springer
16 years 12 days 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...
186
click to vote
GECCO
2004
Springer
16 years 12 days 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...