4767 search results - page 124 / 954 » Structures for Abstract Rewriting |
142
click to vote
IPMI
2001
Springer
16 years 3 months ago
2001
Springer
Abstract. A novel method to obtain correspondence between landmarks when comparing pairs of mammographic images from the same patient is presented. Our approach is based on automat...
116
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...
111
click to vote
ILP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study predicate selection functions (also known as splitting rules) for structural decision trees and propose two improvements to existing schemes. The first is in cl...
113
Voted
CPM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of aligning multiple sequences of non-coding RNA genes. We approach this problem with the biologically motivated paradigm that scoring of...
120
click to vote
ICCSA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The problems of optimizing the network structure by the reliability criteria is discussed. The networks with absolutely reliable nodes and unreliable edges are considered...