242 search results - page 8 / 49 » A SAT-Based Algorithm for Context Matching |
ISMAR
2007
IEEE
14 years 1 months ago
2007
IEEE
Recently researchers have shown that it is possible to use GPU hardware for image processing and computer vision algorithms. We have been exploring how to use GPU hardware to impr...
ESOP
2004
Springer
14 years 26 days ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
ICDE
2002
IEEE
14 years 8 months ago
2002
IEEE
We present a diff algorithm for XML data. This work is motivated by the support for change control in the context of the Xyleme project that is investigating dynamic warehouses ca...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper illustrates a novel decision making algorithm to deliver telecommunication services that match in the best possible way end-user’s requirements to current environm...
BIRD
2008
Springer
13 years 9 months ago
2008
Springer
The Edinburgh Mouse Atlas aims to capture in-situ gene expression patterns in a common spatial framework. In this study, we construct a grammar to define spatial regions by combina...