Sciweavers

7597 search results - page 147 / 1520
» On the design of metric relations
Sort
View
ACL
2012
13 years 9 months ago
Classifying French Verbs Using French and English Lexical Resources
We present a novel approach to the automatic acquisition of a Verbnet like classification of French verbs which involves the use (i) of a neural clustering method which associate...
Ingrid Falk, Claire Gardent, Jean-Charles Lamirel
CVPR
2000
IEEE
16 years 8 months ago
Improving Visual Matching
Many visual matching algorithms can be described in terms of the features and the inter-feature distance or metric. The most commonly used metric is the sum of squared di erences ...
Michael S. Lew, Nicu Sebe, Thomas S. Huang
ASPDAC
2006
ACM
113views Hardware» more  ASPDAC 2006»
16 years 13 days ago
Transition-based coverage estimation for symbolic model checking
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Take...
GLOBE
2009
Springer
15 years 11 months ago
Designing, Specifying and Querying Metadata for Virtual Data Integration Systems
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
Leopoldo E. Bertossi, Gayathri Jayaraman
ICCAD
1999
IEEE
84views Hardware» more  ICCAD 1999»
15 years 10 months ago
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions
This paper describes a method of synthesis of asynchronous circuits with relative timing. Asynchronous communication between gates and modules typically utilizes handshakes to ens...
Jordi Cortadella, Michael Kishinevsky, Steven M. B...