3166 search results - page 336 / 634 » Translation By Structural Correspondences |
171
click to vote
VMCAI
2004
Springer
16 years 4 days ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
189
click to vote
NAR
2008
15 years 6 months ago
2008
The drug classification scheme of the World Health Organization (WHO) [Anatomical Therapeutic Chemical (ATC)-code] connects chemical classification and therapeutic approach. It is...
181
click to vote
KDD
2005
ACM
16 years 9 days ago
2005
ACM
We propose a new text mining system which extracts characteristic contents from given documents. We define Key semantics as characteristic sub-structures of syntactic dependencie...
215
click to vote
BXML
2003
15 years 8 months ago
2003
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
221
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The PD-(D/E)XK nuclease superfamily, initially identified in type II restriction endonucleases and later in many enzymes involved in DNA recombination and repair, is o...