11653 search results - page 1977 / 2331 » The Development of the C Language |
174
click to vote
ICALP
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we present a novel analysis of a random sampling approach for three clustering problems in metric spaces: k-median, min-sum kclustering, and balanced k-medi...
156
click to vote
ICFCA
2004
Springer
16 years 5 days ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
191
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
173
click to vote
ICLP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
183
click to vote
ICTAC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...