4617 search results - page 597 / 924 » Automation of Diagrammatic Reasoning |
185
click to vote
KR
2000
Springer
15 years 11 months ago
2000
Springer
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
163
Voted
KR
2000
Springer
15 years 11 months ago
2000
Springer
We consider the two-fold problem of representing collective beliefs and aggregating these beliefs. We propose a novel representation for collective beliefs that uses modular, tran...
180
click to vote
KR
2000
Springer
15 years 11 months ago
2000
Springer
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
184
click to vote
GIS
1995
ACM
15 years 11 months ago
1995
ACM
Polygonal objects are characterized by the following well-known parameters: number of vertices, area, perimeter and so on. These parameters describe the data sets that are used in...
192
click to vote
GIS
1995
ACM
15 years 11 months ago
1995
ACM
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...