15792 search results - page 2879 / 3159 » Computational Abstraction Steps |
161
click to vote
IEEEHPCS
2010
15 years 4 months ago
2010
Abstract. In this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an impo...
153
click to vote
IEEESP
2010
15 years 4 months ago
2010
Abstract. We devise a model for security investment that reflects dynamic interaction between a defender, who faces uncertainty, and an attacker, who repeatedly targets the weakes...
215
click to vote
IJCV
2010
15 years 4 months ago
2010
Abstract Image alignment has been a long standing problem in computer vision. Parameterized Appearance Models (PAMs) such as the Lucas-Kanade method, Eigentracking, and Active Appe...
158
click to vote
IJSR
2010
15 years 4 months ago
2010
Abstract— People in densely populated environments typically form groups that split and merge. In this paper we track groups of people so as to reflect this formation process an...
194
click to vote
ISI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract—Trust is an important yet complex and little understood dyadic relation among actors in a social network. There are many dimensions to trust; trust plays an important ro...