562 search results - page 60 / 113 » Third quarter 2008 |
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Wiki content templating enables reuse of content structures among wiki pages. In this paper we present a thorough study of this widespread feature, showing how its two state of th...
CADE
2008
Springer
14 years 10 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
CVPR
2010
IEEE
14 years 6 months ago
2010
IEEE
In this paper we propose using bin-ratio information, which is collected from the ratios between bin values of histograms, for scene and category classification. To use such info...
ADC
2009
Springer
14 years 4 months ago
2009
Springer
Comparative evaluations of information retrieval systems are based on a number of key premises, including that representative topic sets can be created, that suitable relevance ju...