2514 search results - page 456 / 503 » The use of industrial-strength formal methods |
219
click to vote
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Ontology matching, aiming to obtain semantic correspondences between two ontologies, has played a key role in data exchange, data integration and metadata management. Among numero...
112
click to vote
SIGMOD
2001
ACM
16 years 2 months ago
2001
ACM
Over the last decades, improvements in CPU speed have outpaced improvements in main memory and disk access rates by orders of magnitude, enabling the use of data compression techn...
JCSS
2010
15 years 12 days ago
2010
When a file is to be transmitted from a sender to a recipient and when the latter already has a file somewhat similar to it, remote differential compression seeks to determine t...
127
click to vote
CVPR
2003
IEEE
16 years 4 months ago
2003
IEEE
We wish to match sets of images to sets of images where both sets are undergoing various distortions such as viewpoint and lighting changes. To this end we have developed a Joint ...
116
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Without the proliferation of formal semantic annotations, the Semantic Web is certainly doomed to failure. In earlier work we presented a new paradigm to avoid this: the 'Sel...