572 search results - page 54 / 115 » Formal Properties of Metrical Structure |
SIGIR
2004
ACM
14 years 3 months ago
2004
ACM
Although text categorization is a burgeoning area of IR research, readily available test collections in this field are surprisingly scarce. We describe a methodology and system (...
WWW
2010
ACM
14 years 5 months ago
2010
ACM
Clustering and retrieval of web pages dominantly relies on analyzing either the content of individual web pages or the link structure between them. Some literature also suggests t...
FORMATS
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
ET
2010
13 years 8 months ago
2010
In this work we investigate the problem of simultaneous privacy and integrity protection in cryptographic circuits. We consider a white-box scenario with a powerful, yet limited at...
ER
2005
Springer
14 years 3 months ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...