2661 search results - page 471 / 533 » Model Checking Performability Properties |
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
PKDD
2009
Springer
14 years 4 months ago
2009
Springer
Most accurate predictions are typically obtained by learning machines with complex feature spaces (as e.g. induced by kernels). Unfortunately, such decision rules are hardly access...
SCALESPACE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Concepts from elasticity are applied to analyze modes of variation on shapes in two and three dimensions. This approach represents a physically motivated alternative to s...
MM
2009
ACM
14 years 4 months ago
2009
ACM
Similarity search is widely used in multimedia retrieval systems to find the most similar ones for a given object. Some similarity measures, however, are not metric, leading to e...
ANSS
2008
IEEE
14 years 4 months ago
2008
IEEE
This paper describes a secure and reliable method for storing data in a distributed hash table (DHT) leveraging the inherent properties of the DHT to provide a secure storage subs...