895 search results - page 138 / 179 » A Spectrum of Applications of Automated Reasoning |
DLOG
2003
14 years 11 months ago
2003
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
GIS
2008
ACM
14 years 11 months ago
2008
ACM
In a geographical route search, given search terms, the goal is to find an effective route that (1) starts at a given location, (2) ends at a given location, and (3) travels via...
GIS
2008
ACM
14 years 11 months ago
2008
ACM
The road network is one of the most important types of information on raster maps. In particular, the set of road intersection templates, which consists of the road intersection p...
102
click to vote
CSL
2006
Springer
14 years 10 months ago
2006
Springer
Support vector machines (SVMs) have proven to be a powerful technique for pattern classification. SVMs map inputs into a high dimensional space and then separate classes with a hy...
112
click to vote
GIS
2002
ACM
14 years 9 months ago
2002
ACM
The proliferation of spatial data on the Internet is beginning to allow a much wider access to data currently available in various Geographic Information Systems (GIS). In order t...