4106 search results - page 256 / 822 » A Computational Model for Metric Spaces |
170
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
186
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Resource location (or discovery) is a fundamental service for resource-sharing environments: given desired resource attributes, the service returns locations of matching resources....
164
click to vote
SMILE
2000
Springer
15 years 10 months ago
2000
Springer
Starting with a set of calibrated photographs taken of a scene, voxel coloring algorithms reconstruct three-dimensional surface models on a finite spatial domain. In this paper, we...
193
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
207
click to vote
JMLR
2010
15 years 1 months ago
2010
Structured prediction tasks pose a fundamental trade-off between the need for model complexity to increase predictive power and the limited computational resources for inference i...