Sciweavers

3786 search results - page 35 / 758
» Structure Comparison and Structure Patterns
Sort
View
126
Voted
FOSSACS
2006
Springer
15 years 6 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...
92
Voted
EKAW
2008
Springer
15 years 4 months ago
Analysing Ontological Structures through Name Pattern Tracking
Ondrej Sváb-Zamazal, Vojtech Svátek
100
Voted
APBC
2008
232views Bioinformatics» more  APBC 2008»
15 years 4 months ago
Chemical Compound Classification with Automatically Mined Structure Patterns
Aaron M. Smalter, Jun Huan, Gerald H. Lushington