4743 search results - page 629 / 949 » The PlusCal Algorithm Language |
107
click to vote
CP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present a parameterized approximation scheme for distributed combinatorial optimization problems based on dynamic programming. The algorithm is a utility propagation m...
115
click to vote
ISI
2005
Springer
15 years 7 months ago
2005
Springer
Experiments were conducted to test several hypotheses on methods for improving document classification for the malicious insider threat problem within the Intelligence Community. ...
138
Voted
LCPC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
105
click to vote
SOCO
2005
Springer
15 years 7 months ago
2005
Springer
In an open environment populated by large numbers of services, automated service composition is a major challenge. In such a setting the efficient interaction of directory-based s...
101
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...