2586 search results - page 251 / 518 » Automatic Abstraction for Congruences |
172
Voted
FASE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
140
click to vote
FIMH
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper, a new technique (SPASM) based on a 3DASM is presented for automatic segmentation of cardiac MRI image data sets consisting of multiple planes with differe...
192
click to vote
FPL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
157
click to vote
FROCOS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
201
click to vote
GFKL
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Hypertext categorization is the task of automatically assigning category labels to hypertext units. Comparable to text categorization it stays in the area of function lea...