831 search results - page 36 / 167 » The many facets of diversity |
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Europe and the U.S. both face the challenges of urban schools with low-achieving adolescent learners, many of whom are not proficient in the language of instruction. This paper des...
APBC
2006
13 years 9 months ago
2006
: The rapid growth of biological databases not only provides biologists with abundant data but also presents a big challenge in relation to the analysis of data. Many data analysis...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— The problem of simultaneous localization and mapping (SLAM) is one of the most studied in the robotics literature. Most existing approaches, however, focus on scenarios where l...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
Automatic image categorization using low-level features is a challenging research topic in computer vision. In this paper, we formulate the image categorization problem as a multi...