Sciweavers

2200 search results - page 215 / 440
» Objective reduction using a feature selection technique
Sort
View
QEST
2007
IEEE
16 years 21 days ago
GRIP: Generic Representatives in PRISM
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
Alastair F. Donaldson, Alice Miller, David Parker
IPM
2008
90views more  IPM 2008»
15 years 6 months ago
Local relational string and mutual matching for image retrieval
Exhibiting new features and likely related matching techniques to efficiently retrieve images from databases remains an open problem. This paper is first devoted to such a novel d...
Adel Hafiane, Bertrand Zavidovique
CVPR
2007
IEEE
16 years 23 days ago
Local Ensemble Kernel Learning for Object Category Recognition
This paper describes a local ensemble kernel learning technique to recognize/classify objects from a large number of diverse categories. Due to the possibly large intraclass featu...
Yen-Yu Lin, Tyng-Luh Liu, Chiou-Shann Fuh
DBPL
1993
Springer
125views Database» more  DBPL 1993»
15 years 10 months ago
Octopus: A Reflective Language Mechanism for Object Manipulation
A class of database programs exist which are required to operate over an infinite number of types; included in this class are object browsers and query tools. The types over which...
Alex Farkas, Alan Dearle
MICRO
2002
IEEE
164views Hardware» more  MICRO 2002»
15 years 11 months ago
A quantitative framework for automated pre-execution thread selection
Pre-execution attacks cache misses for which conventional address-prediction driven prefetching is ineffective. In pre-execution, copies of cache miss computations are isolated fr...
Amir Roth, Gurindar S. Sohi