Sciweavers

847 search results - page 23 / 170
» An Algebra for Features and Feature Composition
Sort
View
ICIP
1998
IEEE
14 years 9 months ago
Semantic Visual Templates: Linking Visual Features to Semantics
The rapid growth of visual data over the last few years has lead to many schemes for retrieving such data. With content-based systems today, there exists a significant gap between...
Shih-Fu Chang, William Chen, Hari Sundaram
AISC
2004
Springer
13 years 11 months ago
Four Approaches to Automated Reasoning with Differential Algebraic Structures
While implementing a proof for the Basic Perturbation Lemma (a central result in Homological Algebra) in the theorem prover Isabelle one faces problems such as the implementation o...
Jesús Aransay, Clemens Ballarin, Julio Rubi...
FSTTCS
2000
Springer
13 years 11 months ago
An Algebra for XML Query
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
Mary F. Fernández, Jérôme Sim&...
IROS
2009
IEEE
183views Robotics» more  IROS 2009»
14 years 2 months ago
Image based visual servoing using algebraic curves applied to shape alignment
— Visual servoing schemes generally employ various image features (points, lines, moments etc.) in their control formulation. This paper presents a novel method for using boundar...
Ahmet Yasin Yazicioglu, Berk Calli, Mustafa Unel
FASE
2012
Springer
12 years 3 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer