3786 search results - page 604 / 758 » Structure Comparison and Structure Patterns |
141
click to vote
CADE
2005
Springer
16 years 3 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
203
click to vote
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
The recent advances in hardware and software have enabled the capture of different measurements of data in a wide range of fields. These measurements are generated continuously an...
126
click to vote
SIGMOD
2004
ACM
16 years 3 months ago
2004
ACM
We present several methods for mining knowledge from the query logs of the MSN search engine. Using the query logs, we build a time series for each query word or phrase (e.g., `Th...
123
click to vote
ICIAP
2007
ACM
16 years 3 months ago
2007
ACM
A recently proposed argument to explain the improved performance of the eight-point algorithm that results from using normalized data [IEEE Trans. Pattern Anal. Mach. Intell., 25(...
122
click to vote
MICCAI
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. It has been shown that brain structures in normal aging undergo significant changes attributed to neurodevelopmental and neurodegeneration processes as a lifelong, dynami...