1533 search results - page 223 / 307 » Semantic Matching: Algorithms and Implementation |
CAV
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
EDBT
2002
ACM
14 years 10 months ago
2002
ACM
An important issue in data integration is the integration of semantically equivalent but schematically heterogeneous data sources. Declarative mechanisms supporting powerful source...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
We present a formal specification of unCurrying for a higher-order, functional language with ML-style let-polymorphism. This specification supports the general unCurrying of func...
ICDE
2011
IEEE
13 years 1 months ago
2011
IEEE
—Despite the proliferation of work on XML keyword query, it remains open to support keyword query over probabilistic XML data. Compared with traditional keyword search, it is far...
GECCO
2009
Springer
14 years 2 months ago
2009
Springer
Nowadays, object recognition is widely studied under the paradigm of matching local features. This work describes a genetic programming methodology that synthesizes mathematical e...