4581 search results - page 238 / 917 » Computing Transformation Semigroups |
160
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe a new intermediate compiler representation, static token form, that is suitable for dataflow-style synthesis of high-level asynchronous specifications. Static token fo...
129
click to vote
EMNLP
2007
15 years 8 months ago
2007
This paper describes ETK (Ensemble of Transformation based Keys) a new algorithm for inducing search keys for name ļ¬ltering. ETK has the low computational cost and ability to ļ¬...
242
click to vote
TOG
2012
13 years 9 months ago
2012
We develop a system for 3D object retrieval based on sketched feature lines as input. For objective evaluation, we collect a large number of query sketches from human users that a...
164
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
elor Thesis: Demand Driven Abstraction Reļ¬nement Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, May 2004 ā¢ Secured 97.6 % marks in...
224
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Visual domain adaptation addresses the problem of adapting the sample distribution of the source domain to the target domain, where the recognition task is intended but the data d...