Sciweavers

3831 search results - page 205 / 767
» Dynamic Context Logic
Sort
View
ICLP
1999
Springer
15 years 8 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
165
Voted
BMCBI
2004
138views more  BMCBI 2004»
15 years 4 months ago
Constraint Logic Programming approach to protein structure prediction
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
Alessandro Dal Palù, Agostino Dovier, Feder...
PPAM
2007
Springer
15 years 10 months ago
A Grid-Enabled Lattice-Boltzmann-Based Modelling System
Lattice-Boltzmann (LB) methods are a well-known technique in the context of computational fluid dynamics. By nature, they can easily be parallelized but their adaptation to the Gr...
Gérard Dethier, Cyril Briquet, Pierre March...
ACRI
2006
Springer
15 years 10 months ago
CA Simulation of Biological Evolution in Genetic Hyperspace
Abstract. Realistic simulation of biological evolution by necessity requires simplification and reduction in the dimensionality of the corresponding dynamic system. Even when this...
Michael A. Saum, Sergey Gavrilets
VMV
2008
168views Visualization» more  VMV 2008»
15 years 6 months ago
Integrating robust likelihoods with Monte-Carlo filters for multi-target tracking
In this paper, a dynamic multi-modal fusion scheme for tracking multiple targets with Monte-Carlo filters is presented, with the goal of achieving robustness by combining complime...
Giorgio Panin, Thorsten Röder, Alois Knoll