Sciweavers

1480 search results - page 233 / 296
» Ants can solve constraint satisfaction problems
Sort
View
FM
2009
Springer
95views Formal Methods» more  FM 2009»
15 years 4 months ago
On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery
The problem of enforcing bounded-time 2-phase recovery in real-time programs is often necessitated by conflict between faulttolerance requirements and timing constraints. In this ...
Borzoo Bonakdarpour, Sandeep S. Kulkarni
RAS
2006
111views more  RAS 2006»
14 years 11 months ago
Planning under uncertainty using model predictive control for information gathering
This paper considers trajectory planning problems for autonomous robots in information gathering tasks. The objective of the planning is to maximize the information gathered withi...
Cindy Leung, Shoudong Huang, Ngai Ming Kwok, Gamin...
ICIP
2005
IEEE
16 years 1 months ago
Estimating sub-pixel shifts directly from the phase difference
In this paper, we establish the exact relationship between the continuous and the discrete phase-difference of two shifted images, and show that their discrete phase difference is...
Murat Balci, Hassan Foroosh
ICPR
2004
IEEE
16 years 29 days ago
Incorporating Prior Knowledge into SVM for Image Retrieval
SVM based image retrieval suffers from the scarcity of labelled samples. In this paper, this problem is solved by incorporating prior knowledge into SVM. Firstly, some prior knowl...
Lei Wang, Ping Xue, Kap Luk Chan
ICPR
2000
IEEE
16 years 28 days ago
Fast and Accurate Motion Estimation Using Orientation Tensors and Parametric Motion Models
Motion estimation in image sequences is an important step in many computer vision and image processing applications. Several methods for solving this problem have been proposed, b...
Gunnar Farnebäck