Sciweavers

7986 search results - page 1370 / 1598
» Computational Science and its Applications
Sort
View
MCMASTER
1993
15 years 11 months ago
A Taste of Rewrite Systems
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
Nachum Dershowitz
DASFAA
2006
IEEE
153views Database» more  DASFAA 2006»
15 years 11 months ago
Dissemination of Dynamic Data: Semantics, Algorithms, and Performance
Abstract The Internet and the Web are increasingly used to disseminate fast changing data such as sensor data, traffic and weather information, stock prices, sports scores, and eve...
Krithi Ramamritham
ICGA
1997
122views Optimization» more  ICGA 1997»
15 years 8 months ago
A Comparison of Global and Local Search Methods in Drug Docking
Molecular docking software makes computational predictions of the interaction of molecules. This can be useful, for example, in evaluating the binding of candidate drug molecules ...
Christopher D. Rosin, R. Scott Halliday, William E...
CGF
2006
100views more  CGF 2006»
15 years 7 months ago
Ray Tracing Animated Scenes using Motion Decomposition
Though ray tracing has recently become interactive, its high precomputation time for building spatial indices usually limits its applications to walkthroughs of static scenes. Thi...
Johannes Günther, Heiko Friedrich, Ingo Wald,...
JACM
2006
99views more  JACM 2006»
15 years 7 months ago
Finding a maximum likelihood tree is hard
Abstract. Maximum likelihood (ML) is an increasingly popular optimality criterion for selecting evolutionary trees [Felsenstein 1981]. Finding optimal ML trees appears to be a very...
Benny Chor, Tamir Tuller
« Prev « First page 1370 / 1598 Last » Next »