Sciweavers

6650 search results - page 367 / 1330
» models 2009
Sort
View
ICANN
2009
Springer
16 years 1 months ago
Modelling Image Complexity by Independent Component Analysis, with Application to Content-Based Image Retrieval
Abstract. Estimating the degree of similarity between images is a challenging task as the similarity always depends on the context. Because of this context dependency, it seems qui...
Jukka Perkiö, Aapo Hyvärinen
ICNC
2009
Springer
16 years 1 months ago
Model-Free Learning and Control in a Mobile Robot
A model-free, biologically-motivated learning and control algorithm called S-learning is described as implemented in an Surveyor SRV-1 mobile robot. S-learning demonstrated learni...
Brandon Rohrer, Michael Bernard, J. Daniel Morrow,...
IFM
2009
Springer
124views Formal Methods» more  IFM 2009»
16 years 1 months ago
Dynamic Path Reduction for Software Model Checking
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiao...
ISVC
2009
Springer
16 years 1 months ago
Robust Estimation of Camera Motion Using Optical Flow Models
Abstract. The estimation of camera motion is one of the most important aspects for video processing, analysis, indexing, and retrieval. Most of existing techniques to estimate came...
Jurandy Almeida, Rodrigo Minetto, Tiago A. Almeida...
IWSEC
2009
Springer
16 years 1 months ago
Tamper-Tolerant Software: Modeling and Implementation
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
Mariusz H. Jakubowski, Chit Wei Saw, Ramarathnam V...