3690 search results - page 569 / 738 » Computation with classical sequents |
88
Voted
ICVS
2003
Springer
15 years 3 months ago
2003
Springer
The quality control and update of geo-data, in this case especially of road-data, is the primary aim of the system, which is presented in the paper. One important task of the syste...
74
Voted
ICVS
2003
Springer
15 years 3 months ago
2003
Springer
Most approaches to detection and classification of human activity deal with observing individual persons. However, people often tend to organize into groups to achieve certain goa...
114
Voted
SSDBM
2010
IEEE
15 years 3 months ago
2010
IEEE
Similarity search and data mining often rely on distance or similarity functions in order to provide meaningful results and semantically meaningful patterns. However, standard dist...
EICS
2010
ACM
15 years 3 months ago
2010
ACM
Modern User Interfaces (UI) must deal with the increasing complexity of applications as well as new features such as the capacity of UIs to be dynamically adapted to the context o...
PODS
2010
ACM
15 years 3 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...