1620 search results - page 148 / 324 » eg 2010 |
174
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Sender anonymity in location-based services (LBS) attempts to hide the identity of a mobile device user who sends requests to the LBS provider for services in her proximity (e.g. &...
223
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
The Voronoi diagram is an important technique for answering nearest-neighbor queries for spatial databases. In this paper, we study how the Voronoi diagram can be used on uncertain...
188
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Abstract-Unstructured text represents a large fraction of the world's data. It often contain snippets of structured information within them (e.g., people's names and zip ...
169
click to vote
LATA
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Iterated schemata allow to define infinite languages of propositional formulae through formulae patterns. Formally, schemata extend propositional logic with new (generali...
194
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
In search for a foundational framework for reasoning about observable behavior of programs that may not terminate, we have previously devised a trace-based big-step semantics for W...