Sciweavers

2542 search results - page 177 / 509
» integration 2010
Sort
View
ICIP
2010
IEEE
15 years 3 months ago
Image retrieval with feature selection and relevance feedback
This paper proposes a new content based image retrieval (CBIR) system combined with relevance feedback and the online feature selection procedures. A measure of inconsistency from...
Yu Sun, Bir Bhanu
ICIP
2010
IEEE
15 years 3 months ago
Spatial bayesian surprise for image saliency and quality assessment
We propose an alternative interpretation of Bayesian surprise in the spatial domain, to account for saliency arising from contrast in image context. Our saliency formulation is in...
Ioannis Gkioulekas, Georgios Evangelopoulos, Petro...
ICRA
2010
IEEE
131views Robotics» more  ICRA 2010»
15 years 3 months ago
Human-in-the-Loop: Terminal constraint receding horizon control with human inputs
Abstract-- This paper presents a control theoretic formulation and optimal control solution for integrating human control inputs subject to linear state constraints. The formulatio...
Rahul Chipalkatty, Magnus Egerstedt
IEAAIE
2010
Springer
15 years 3 months ago
Knowledge-Based Framework for Workflow Modelling: Application to the Furniture Industry
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...
Juan Carlos Vidal, Manuel Lama, Alberto Bugar&iacu...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 3 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi