1292 search results - page 231 / 259 » An Experimental Evaluation of the New OpenMP Tasking Model |
120
click to vote
RECSYS
2009
ACM
15 years 8 months ago
2009
ACM
Tagging systems have become major infrastructures on the Web. They allow users to create tags that annotate and categorize content and share them with other users, very helpful in...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Distributed Constraints Optimization (DCOP) is a powerful framework for representing and solving distributed combinatorial problems, where the variables of the problem are owned b...
128
click to vote
CADE
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
123
click to vote
VEE
2010
ACM
15 years 8 months ago
2010
ACM
Intense research on virtual machines has highlighted the need for flexible software architectures that allow quick evaluation of new design and implementation techniques. The inte...
128
click to vote
3DOR
2010
14 years 8 months ago
2010
While approaches based on local features play a more and more important role for 3D shape retrieval, the problems of feature selection and similarity measurement between sets of l...