949 search results - page 113 / 190 » ISAC - Instance-Specific Algorithm Configuration |
FMCAD
2004
Springer
13 years 11 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...
DAGM
2006
Springer
13 years 11 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-...
GECCO
2006
Springer
13 years 11 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...
ACSAC
2001
IEEE
13 years 11 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...
CGI
2001
IEEE
13 years 11 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...