Sciweavers

1313 search results - page 97 / 263
» The Inference Based on Molecular Computing
Sort
View
AWCC
2004
Springer
14 years 3 months ago
Fuzzy Logic-Based Image Retrieval
This paper imports the fuzzy logic into image retrieval to deal with the vagueness and ambiguity of human judgment of image similarity. Our retrieval system has the following prop...
Xiaoling Wang, Kanglin Xie
ICPR
2010
IEEE
14 years 2 months ago
Lattice-Based Anomaly Rectification for Sport Video Annotation
Anomaly detection has received much attention within the literature as a means of determining, in an unsupervised manner, whether a learning domain has changed in a fundamental way...
Aftab Khan, David Windridge, Teofilo De Campos
ACIVS
2006
Springer
14 years 1 months ago
Context-Based Scene Recognition Using Bayesian Networks with Scale-Invariant Feature Transform
Scene understanding is an important problem in intelligent robotics. Since visual information is uncertain due to several reasons, we need a novel method that has robustness to the...
Seung-Bin Im, Sung-Bae Cho
CSCWD
2006
Springer
14 years 1 months ago
A Framework for Sketch-Based Cooperative Design
This paper presents an application framework for constructing sketch-based cooperative design (especially for distributed conceptual design) tools. Three key issues are addressed: ...
Wei Jiang, Zhengxing Sun
BIRTHDAY
2010
Springer
13 years 10 months ago
Programming Inductive Proofs - A New Approach Based on Contextual Types
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
Brigitte Pientka