7661 search results - page 1223 / 1533 » Languages and the Computing Profession |
190
click to vote
ICALP
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
203
click to vote
ICALP
2004
Springer
16 years 29 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...
197
click to vote
IFIP
2004
Springer
16 years 28 days ago
2004
Springer
In the STS-based mapping, we are requested to obtain the correct order of probes in a DNA sequence from a given set of fragments or equivalently a hybridization matrix A. It is wel...
180
click to vote
IFIP
2004
Springer
16 years 28 days ago
2004
Springer
Abstract We propose an alternative notion of asymptotic behaviors for the study of type2 computational complexity. Since the classical asymptotic notion (for all but finitely many...
220
click to vote
PERVASIVE
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. When smart objects participate in context-aware applications, changes in their real-world environment can have a significant impact on underlying networking structures. ...