12774 search results - page 2314 / 2555 » A Framework for Proof Systems |
186
click to vote
IADIS
2003
15 years 8 months ago
2003
Avionics data at the National Aeronautics and Space Administration’s (NASA) Jet Propulsion Laboratory (JPL) consists of distributed, unmanaged, and heterogeneous information tha...
184
click to vote
IJCAI
2003
15 years 8 months ago
2003
The problem of identifying approximately duplicate objects in databases is an essential step for the information integration process. Most existing approaches have relied on gener...
181
click to vote
UAI
2001
15 years 8 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
173
click to vote
IJCAI
2003
15 years 8 months ago
2003
Multi-level spatial aggregates are important for data mining in a variety of scientific and engineering applications, from analysis of weather data (aggregating temperature and p...
153
click to vote
WIIW
2001
15 years 8 months ago
2001
Our research and development activities in digital libraries raised relevant features in supporting Web information integration. Underlain by an in house multi-agent based architec...