998 search results - page 147 / 200 » From Feasible Proofs to Feasible Computations |
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Recommender systems face up to current information overload by selecting automatically items that match the personal preferences of each user. The so-called content-based...
EUROGP
2008
Springer
13 years 11 months ago
2008
Springer
We present PlasmidPL, a plasmid-inspired programming language designed for Genetic Programming (GP), and based on a chemical metaphor. The basic data structures in PlasmidPL are ci...
FORTE
2007
13 years 11 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...
RSS
2007
13 years 11 months ago
2007
— This paper presents BS-SLAM, a simultaneous localization and mapping algorithm for use in unstructured environments that is effective regardless of whether features correspond ...
DAGSTUHL
2006
13 years 11 months ago
2006
Abstract. Similarity search in large multimedia databases requires efficient query processing based on suitable similarity models. Similarity models consist of a feature extraction...