949 search results - page 113 / 190 » ISAC - Instance-Specific Algorithm Configuration |
106
click to vote
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
129
click to vote
DAGM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present an approach to non-rigid object tracking designed to handle textured objects in crowded scenes captured by non-static cameras. For this purpose, groups of low-...
125
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Using a set of model landscapes we examine how different mutation rates affect different search metrics. We show that very universal heuristics, such as 1/N and the error threshol...
139
click to vote
ACSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
Secure group communication protocols, in particular multi-party key agreement and update algorithms, help promote traditional and new Internet multi-party applications such as vid...
135
Voted
CGI
2001
IEEE
15 years 5 months ago
2001
IEEE
Inverse kinmatics is one of the most popular method in computer graphics to control 3D multi-joint characters. In this paper, we propose an inverse kinematics algorithm that takes...