Sciweavers

3786 search results - page 35 / 758
» Structure Comparison and Structure Patterns
Sort
View
FOSSACS
2006
Springer
15 years 1 months ago
A Logic of Reachable Patterns in Linked Data-Structures
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sag...
EKAW
2008
Springer
14 years 11 months ago
Analysing Ontological Structures through Name Pattern Tracking
Ondrej Sváb-Zamazal, Vojtech Svátek
APBC
2008
232views Bioinformatics» more  APBC 2008»
14 years 11 months ago
Chemical Compound Classification with Automatically Mined Structure Patterns
Aaron M. Smalter, Jun Huan, Gerald H. Lushington