2200 search results - page 394 / 440 » Objective reduction using a feature selection technique |
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Given a set of model graphs D and a query graph q, containment search aims to find all model graphs g D such that q contains g (q g). Due to the wide adoption of graph models, f...
IJCNN
2000
IEEE
14 years 1 months ago
2000
IEEE
eresting web-available abstracts and papers on clustering: An Analysis of Recent Work on Clustering Algorithms (1999), Daniel Fasulo : This paper describes four recent papers on cl...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
I3D
2010
ACM
14 years 6 months ago
2010
ACM
1 We present a novel technique called Radiance Scaling for the depic-2 tion of surface shape through shading. It adjusts reflected light in-3 tensities in a way dependent on both s...
ASWEC
2009
IEEE
14 years 4 months ago
2009
IEEE
Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mec...