1734 search results - page 194 / 347 » its 2000 |
146
click to vote
AIPS
2000
15 years 7 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
159
click to vote
AI
2000
Springer
15 years 5 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
107
click to vote
GEOINFORMATICA
2000
15 years 5 months ago
2000
The evolution of GIS-T is characterized in three stages: the map view, the navigational view, and the behavioral view. The static nature of the map view favors applications relate...
167
click to vote
SAIG
2000
Springer
15 years 9 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
188
click to vote
ICTAI
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper addresses the issue of effective and efficient content based image retrieval by presenting a novel indexing and retrieval methodology that integrates color, texture, an...