854 search results - page 31 / 171 » Addressing Dynamic Issues of Program Model Checking |
138
Voted
WSC
2007
15 years 4 months ago
2007
Efficiently planning and managing workforce is a challenge imposed on many companies, especially for those in the service industry. The target of an effective workforce management...
111
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper addresses the problem of generating optimal joint trajectories for redundant manipulators when multiple criteria are to be considered. A dynamic programming approach...
131
Voted
PSB
2001
15 years 3 months ago
2001
This paper discusses the issues involved in implementing a dynamic programming algorithm for biological sequence comparison on a generalpurpose parallel computing platform based o...
138
click to vote
ICIP
2008
IEEE
16 years 3 months ago
2008
IEEE
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...
141
Voted
CRV
2008
IEEE
15 years 8 months ago
2008
IEEE
The extraction of contours using deformable models, such as snakes, is a problem of great interest in computer vision, particular in areas of medical imaging and tracking. Snakes ...