2624 search results - page 210 / 525 » The 2LIP model and its implementations |
201
click to vote
WD
2010
15 years 4 months ago
2010
In this paper we propose a distributed approach to construct vicinity resource maps at each node in a delaytolerant network. The scheme uses recent encounters to estimate the avail...
192
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
In this paper, we design a novel MRF framework which is called Non-Local Range Markov Random Field (NLRMRF). The local spatial range of clique in traditional MRF is extended to th...
196
click to vote
CMPB
2010
15 years 1 months ago
2010
Steady state flux balance analysis (FBA) for cellular metabolism is used, e.g., to seek information on the activity of the different pathways under equilibrium conditions, or as a...
159
click to vote
PATMOS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
186
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...