6274 search results - page 326 / 1255 » From query complexity to computational complexity |
201
click to vote
CASC
2009
Springer
15 years 7 months ago
2009
Springer
We consider Presburger arithmetic extended by infinity. For this we give an effective quantifier elimination and decision procedure which implies also the completeness of our exten...
188
click to vote
CF
2004
ACM
16 years 3 days ago
2004
ACM
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide a user the transparency of anywhere, anyplace, anytime computing. Pervasive compu...
195
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
We consider a scenario where we want to query a large dataset that is stored in external memory and does not fit into main memory. The most constrained resources in such a situati...
170
click to vote
VLDB
2007
ACM
16 years 24 days ago
2007
ACM
Virtual reality techniques particularly in the field of CFD (computational fluid dynamics) are of growing importance due to their ability to offer comfortable means to interact...
219
Voted
SSDBM
2010
IEEE
15 years 11 months ago
2010
IEEE
The Resource Description Framework (RDF) format is being used by a large number of scientific applications to store and disseminate their datasets. The provenance information, desc...