5214 search results - page 794 / 1043 » The Online Specialization Problem |
165
click to vote
ISAAC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
196
click to vote
LFCS
2007
Springer
16 years 24 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
184
click to vote
SEMWEB
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we take a view from the bottom to RDF(S) reasoning. We discuss some issues and requirements on reasoning towards effectively building Semantic Web Pipes, aggregating...
184
click to vote
VISUAL
2007
Springer
16 years 23 days ago
2007
Springer
Chorems are schematized representations of territories, and so they can represent a good visual summary of spatial databases. Indeed for spatial decision-makers, it is more importa...
166
click to vote
WDAG
2007
Springer
16 years 23 days ago
2007
Springer
The timestamp problem captures a fundamental aspect of asynchronous distributed computing. It allows processes to label events throughout the system with timestamps that provide in...