4340 search results - page 511 / 868 » Formal Methods and Cryptography |
184
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...
196
click to vote
ACL
2010
15 years 4 months ago
2010
Determining the semantic intent of web queries not only involves identifying their semantic class, which is a primary focus of previous works, but also understanding their semanti...
147
click to vote
CNSM
2010
15 years 4 months ago
2010
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...
156
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Hausdorff distance (HD) and its modifications provides one of the best approaches for matching of binary images. This paper proposes a formalism generalizing almost all of these H...
181
click to vote
IGARSS
2010
15 years 4 months ago
2010
This paper considers sampling and reconstruction theory with application to scatterometer image reconstruction. Backscatter imaging is approached as the inversion of a noisy apert...