12981 search results - page 2378 / 2597 » Model Checking (Abstract) |
153
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Until recently, computational aspects of the Shapley value were only studied under the assumption that there are no externalities from coalition formation, i.e., that the...
144
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Machine learning techniques are increasingly being applied to problems in the domain of information retrieval and text mining. In this paper we present an application of ...
150
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automatic detection of symmetries, regularity, and repetitive structures in 3D geometry is a fundamental problem in shape analysis and pattern recognition with applicatio...
151
click to vote
ECIR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many tasks (e.g., search and summarization) result in an ordered list of items. In order to evaluate such an ordered list of items, we need to compare it with an ideal or...
138
Voted
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Shared last level cache is crucial to performance. However, multithread program model incurs serious contention in shared cache. In this paper, to reduce average cache ac...