Sciweavers

2200 search results - page 215 / 440
» Objective reduction using a feature selection technique
Sort
View
131
Voted
QEST
2007
IEEE
15 years 10 months 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
104
Voted
IPM
2008
90views more  IPM 2008»
15 years 3 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
125
Voted
CVPR
2007
IEEE
15 years 10 months 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
132
Voted
DBPL
1993
Springer
125views Database» more  DBPL 1993»
15 years 7 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
167
Voted
MICRO
2002
IEEE
164views Hardware» more  MICRO 2002»
15 years 8 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