Sciweavers

6941 search results - page 803 / 1389
» Testing as a Certification Approach
Sort
View
ACSC
2004
IEEE
15 years 11 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
AIPR
2004
IEEE
15 years 11 months ago
An Image Retrieval System Using Multispectral Random Field Models, Color, and Geometric Features
This paper describes a novel color texture-based image retrieval system for the query of an image database to find similar images to a target image. The retrieval process involves...
Orlando J. Hernandez, Alireza Khotanzad
AMDO
2006
Springer
15 years 11 months ago
Matching Deformable Features Based on Oriented Multi-scale Filter Banks
This paper presents a technique to enable deformable objects to be matched throughout video sequences based on the information provided by multi-scale Gaussian derivative filter ba...
Manuel J. Marín-Jiménez, Nicolas P&e...
AUSAI
2006
Springer
15 years 11 months ago
Virtual Attribute Subsetting
Attribute subsetting is a meta-classification technique, based on learning multiple base-level classifiers on projections of the training data. In prior work with nearest-neighbour...
Michael Horton, R. Mike Cameron-Jones, Raymond Wil...
BPM
2006
Springer
93views Business» more  BPM 2006»
15 years 11 months ago
Semi-automatic Semantic-Based Web Service Classification
With the expectable growth of the number of Web services available on the WWW and service repositories, the need for mechanisms that enable the automatic organization and discovery...
Miguel Ángel Corella, Pablo Castells