19130 search results - page 204 / 3826 » Modelling multi-path problems |
257
click to vote
COR
2011
15 years 1 months ago
2011
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
222
click to vote
NFM
2011
15 years 1 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
218
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Simultaneously segmenting and labeling images is a fundamental problem in Computer Vision. In this paper, we introduce a hierarchical CRF model to deal with the problem of labelin...
161
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We present the problem of estimating cortical connectivity between different regions of the cortex from scalp electroencephalographic (EEG) or magnetoencephalographic (MEG) data a...
197
click to vote
JMLR
2012
13 years 9 months ago
2012
The development of accurate models and efficient algorithms for the analysis of multivariate categorical data are important and longstanding problems in machine learning and compu...