3176 search results - page 224 / 636 » A Multi-Resolution Relational Data Model |
136
click to vote
BMCBI
2008
15 years 4 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....
161
click to vote
ICIW
2009
IEEE
15 years 11 months ago
2009
IEEE
Semantic Business Process Management is a recent and promising research area devoted to extending the results from Semantic Web Services — i.e., the application of ontology-base...
120
click to vote
IDEAL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
151
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
132
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper we derive formal constraints relating terrain elevation and observed cast shadows. We show how an optimisation framework can be used to refine surface estimates usin...