4126 search results - page 620 / 826 » Set based logic programming |
141
click to vote
ICIP
2010
IEEE
15 years 29 days ago
2010
IEEE
This paper deals with segmentation of the lung tissues from low dose CT (LDCT) scans of the chest. Goal is correct segmentation as well as maintaining the details of the lung regi...
150
click to vote
IEEESCC
2009
IEEE
15 years 22 days ago
2009
IEEE
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...
181
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract— We study algorithms for the SUBMODULAR MULTIWAY PARTITION problem (SUB-MP). An instance of SUB-MP consists of a finite ground set V , a subset S = {s1, s2, . . . , sk}...
121
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...
110
click to vote
AUTOMATICA
2007
15 years 3 months ago
2007
ust control problems can be formulated in abstract form as convex feasibility programs, where one seeks a solution x that satisfies a set of inequalities of the form F . = {f (x,...