3475 search results - page 14 / 695 » A DEA approach for model combination |
TPHOL
1999
IEEE
13 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
BMCBI
2008
13 years 7 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
BC
2002
13 years 7 months ago
2002
ACT This study presents a computational framework that capitalizes on known human neuromechanical characteristics during limb movements in order to predict man-machine interactions...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
In this paper, we propose a novel automatic framework for variational color image segmentation based on unifying adaptive region information and mixture modelling. We consider a f...
MACE
2009
Springer
14 years 2 months ago
2009
Springer
Learned models of behavior have the disadvantage that they must be retrained after any change in system configuration. Autonomic management methods based upon learned models lose ...