2743 search results - page 190 / 549 » Minimization of an M-convex Function |
180
click to vote
TLCA
2007
Springer
16 years 19 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
163
click to vote
EWSN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we consider the minimization of a relevant energy consumption related cost function in the context of sensor networks where correlated sources are generate...
147
click to vote
JCB
2008
15 years 6 months ago
2008
Given a metabolic network in terms of its metabolites and reactions, our goal is to efficiently compute the minimal knock out sets of reactions required to block a given behaviour....
193
click to vote
CGF
1998
15 years 6 months ago
1998
Thin plate splines are a well known entity of geometric design. They are defined as the minimizer of a variational problem whose differential operators approximate a simple notio...
171
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Context is critical for minimising ambiguity in object de-
tection. In this work, a novel context modelling framework
is proposed without the need of any prior scene segmen-
tat...