17298 search results - page 3180 / 3460 » Abstract computing machines |
184
Voted
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
132
Voted
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Recently, mashups are gaining tremendous popularity as an important Web 2.0 application. Mashups provide end-users with an opportunity to create personalized Web service...
129
Voted
IEEEHPCS
2010
15 years 3 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...
115
click to vote
IEEESP
2010
15 years 3 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...
181
Voted
IJCV
2010
15 years 3 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...