895 search results - page 134 / 179 » A Spectrum of Applications of Automated Reasoning |
PPSWR
2005
Springer
15 years 3 months ago
2005
Springer
Metadata processing is recognized as a central challenge for database research in the next decade. Already, novel desktop data management and search applications (cf. Apple’s Spo...
GIS
2009
ACM
15 years 2 months ago
2009
ACM
In this paper we consider a novel multimedia application, in which drivers may query multimedia clips captured by smartphones mounted on other vehicles. These multimedia clips vis...
EUROPLOP
2006
14 years 11 months ago
2006
Extensibility and maintainability of software becomes more an issue as the complexity of the software development process rises. Design patterns in the sense of Gamma et al. [3] a...
164
click to vote
GIS
2008
ACM
15 years 11 months ago
2008
ACM
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...
163
click to vote
GIS
2003
ACM
15 years 11 months ago
2003
ACM
For many applications with spatial data management such as Geographic Information Systems (GIS), block-oriented access over flash memory could introduce a significant number of no...