8828 search results - page 1304 / 1766 » Formal methods in practice |
235
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
Many computer vision algorithms such as object tracking and event detection assume that a background model of the scene under analysis is known. However, in many practical circums...
192
click to vote
ICPPW
2009
IEEE
15 years 4 months ago
2009
IEEE
Current petascale systems have tens of thousands of hardware components and complex system software stacks, which increase the probability of faults occurring during the lifetime ...
191
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
For haptic devices, compensation of the robot's gravity is a frequent strategy with the aim to reduce interaction forces between robot and human in zero-impedance control. How...
233
click to vote
GECCO
2010
Springer
15 years 4 months ago
2010
Springer
Large software companies have to plan their project portfolio to maximize potential portfolio return and strategic alignment, while balancing various preferences, and considering ...
249
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
One important problem in computer vision is to provide a demographic description a person from an image. In practice, many of the state-of-the-art methods use only an analysis of ...