Sciweavers

8132 search results - page 1472 / 1627
» Dependability, Abstraction, and Programming
Sort
View
CORR
2011
Springer
268views Education» more  CORR 2011»
14 years 10 months ago
Approximation Algorithms for Submodular Multiway Partition
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}...
Chandra Chekuri, Alina Ene
CVIU
2011
14 years 10 months ago
A comparative study of object-level spatial context techniques for semantic image analysis
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
Georgios Th. Papadopoulos, Carsten Saathoff, Hugo ...
FORTE
2011
14 years 10 months ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...
LR
2011
107views more  LR 2011»
14 years 9 months ago
Modeling and stability analysis of autonomously controlled production networks
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
Sergey Dashkovskiy, Michael Görges, Michael K...
RECOMB
2011
Springer
14 years 9 months ago
Haplotype Reconstruction in Large Pedigrees with Many Untyped Individuals
Abstract. Haplotypes, as they specify the linkage patterns between dispersed genetic variations, provide important information for understanding the genetics of human traits. Howev...
Xin Li, Jing Li
« Prev « First page 1472 / 1627 Last » Next »