1399 search results - page 148 / 280 » New Algorithms for k-Center and Extensions |
ICLP
2004
Springer
14 years 2 months ago
2004
Springer
Arc-Consistency (AC) techniques have been used extensively in the study of Constraint Satisfaction Problems (CSP). These techniques are used to simplify the CSP before or during th...
FTDCS
2003
IEEE
14 years 2 months ago
2003
IEEE
We propose a new model for on-demand media streaming centered around the peer-to-peer (P2P) paradigm. The proposed P2P model can support a large number of clients with a low overa...
ICCAD
2002
IEEE
14 years 1 months ago
2002
IEEE
Numerous approaches have been proposed to address the overwhelming modeling problems that result from the emergence of magnetic coupling as a dominant performance factor for ICs a...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
ASIAN
2006
Springer
14 years 20 days ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...