Sciweavers

22128 search results - page 270 / 4426
» Research in Structural Computing
Sort
View
RECOMB
1999
Springer
15 years 8 months ago
Internal loops in RNA secondary structure prediction
Rune B. Lyngsø, Michael Zuker, Christian N....
122
Voted
RTA
1999
Springer
15 years 8 months ago
Strong Normalization of Proof Nets Modulo Structural Congruences
Roberto Di Cosmo, Stefano Guerrini
SIGGRAPH
1996
ACM
15 years 8 months ago
OBBTree: A Hierarchical Structure for Rapid Interference Detection
Stefan Gottschalk, Ming C. Lin, Dinesh Manocha