Sciweavers

377 search results - page 67 / 76
» Linear Tabling Strategies and Optimizations
Sort
View
GECCO
2003
Springer
165views Optimization» more  GECCO 2003»
14 years 20 days ago
An Evolutionary Approach for Molecular Docking
We have developed an evolutionary approach for the flexible docking that is now an important component of a rational drug design. This automatic docking tool, referred to as the G...
Jinn-Moon Yang
IPMI
2009
Springer
14 years 1 days ago
Dense Registration with Deformation Priors
Abstract. In this paper we propose a novel approach to define task-driven regularization constraints in deformable image registration using learned deformation priors. Our method ...
Ben Glocker, Nikos Komodakis, Nassir Navab, Georgi...
CONCUR
1997
Springer
13 years 11 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
IJCAI
2007
13 years 9 months ago
Learning from Partial Observations
We present a general machine learning framework for modelling the phenomenon of missing information in data. We propose a masking process model to capture the stochastic nature of...
Loizos Michael
VIIP
2001
13 years 8 months ago
Using Graphics Cards for Quantized FEM Computations
Graphics cards exercise increasingly more computing power and are highly optimized for high data transfer volumes. In contrast typical workstations perform badly when data exceeds...
Martin Rumpf, Robert Strzodka