13383 search results - page 2584 / 2677 » Abstractions from proofs |
KDD
2010
ACM
14 years 4 days ago
2010
ACM
In plenty of scenarios, data can be represented as vectors mathematically abstracted as points in a Euclidean space. Because a great number of machine learning and data mining app...
CANDC
2005
ACM
14 years 3 days ago
2005
ACM
The workshop will explore in depth the nature of freedom and constraint in the creative process in digital fine art from the perspective of embodied mind. The problem is crucial t...
ICDCS
2010
IEEE
14 years 3 days ago
2010
IEEE
Abstract--To take advantage of the broadcast nature of wireless communication, a number of opportunistic routing techniques have recently been proposed. In order to manage the extr...
ECCV
2006
Springer
14 years 3 days ago
2006
Springer
Abstract. This paper addresses the problem of intensity correction of fluorescent confocal laser scanning microscope (CLSM) images. CLSM images are frequently used in medical domai...
MIR
2010
ACM
14 years 3 days ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...