2586 search results - page 91 / 518 » Automatic Abstraction for Congruences |
VECPAR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. IBM is currently developing the new line of BlueGene/L supercomputers. The top-of-the-line installation is planned to be a 65,536 processors system featuring a peak perfo...
CSMR
2003
IEEE
15 years 3 months ago
2003
IEEE
The paper addresses two problems in software maintenance. Firstly, some maintenance tasks require modifications of the grammar. A change in a grammar can make syntax and transfor...
PDP
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. In this work an architecture of an automatically tuned linear algebra library proposed in previous works is extended in order to adapt it to platforms where both the CPU ...
ESWS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Automatic extraction of semantic relationships between entity instances in an ontology is useful for attaching richer semantic metadata to documents. In this paper we pro...
MAMMO
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. In this paper we present a boosting based approach for automatic detection of micro-calcifications in mammographic images. Our proposal is based on using local features e...