2586 search results - page 81 / 518 » Automatic Abstraction for Congruences |
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
—This paper describes the synthesis of correct robot control from high-level tasks that include non-projective locative prepositions. Here, locative prepositions such as ‘nearâ...
MICCAI
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We propose a shape descriptor for 3D ear impressions, derived from a comprehensive set of anatomical features. Motivated by hearing aid (HA) manufacturing, the selection ...
ICMLA
2009
14 years 7 months ago
2009
Abstract--Feature selection is an important challenge in machine learning. Unfortunately, most methods for automating feature selection are designed for supervised learning tasks a...
ICANN
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Traditional seizure detection algorithms act on single channels ignoring the synchronously recorded, inherently interdependent multichannel nature of EEG. However, the sp...
DEXAW
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—The k-means method is a simple and fast clustering technique that exhibits the problem of specifying the optimal number of clusters preliminarily. We address the problem...