Sciweavers

1781 search results - page 195 / 357
» Functional Answer Set Programming
Sort
View
ESOP
2007
Springer
15 years 8 months ago
Interprocedurally Analysing Linear Inequality Relations
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
Helmut Seidl, Andrea Flexeder, Michael Petter
IFIP
2009
Springer
15 years 6 months ago
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...
Zbigniew Paszkiewicz, Willy Picard
CORR
2011
Springer
268views Education» more  CORR 2011»
14 years 5 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
ICGA
2007
80views Optimization» more  ICGA 2007»
15 years 1 months ago
Factors Affecting Diminishing Returns for Searching Deeper
The phenomenon of diminishing returns for additional search effort has been observed by several researchers. We study experimentally additional factors which influence the behavio...
Matej Guid, Ivan Bratko
EOR
2002
87views more  EOR 2002»
15 years 1 months ago
On the finite convergence of successive SDP relaxation methods
Let F be a subset of the n-dimensional Euclidean space Rn represented in terms of a compact convex subset C0 and a set PF of nitely or in nitely many quadratic functions on Rn such...
Masakazu Kojima, Levent Tunçel