626 search results - page 34 / 126 » When Can Formal Methods Make a Real Difference |
ACCV
2007
Springer
14 years 2 months ago
2007
Springer
Camera networks are increasingly being deployed for security. In most of these camera networks, video sequences are captured, transmitted and archived continuously from all cameras...
ICML
2004
IEEE
14 years 9 months ago
2004
IEEE
We compute a common feature selection or kernel selection configuration for multiple support vector machines (SVMs) trained on different yet inter-related datasets. The method is ...
GCC
2006
Springer
14 years 11 days ago
2006
Springer
With the emergence of global market and virtual enterprises, coordination of business processes in dispersed organizations by distributed workflow execution will take on more impo...
ICASSP
2011
IEEE
13 years 13 days ago
2011
IEEE
Conventional methods for rotation angle estimation are not very robust to variations in object shape or intensity. However in real object recognition scenarios like in underwater ...
JRTIP
2007
13 years 8 months ago
2007
We propose a marker-less model-based camera tracking approach, which makes use of GPU-assisted analysis-by-synthesis methods on a very wide field of view (e.g. fish-eye) camera. ...