1450 search results - page 160 / 290 » Common knowledge revisited |
220
click to vote
EUROMED
2010
15 years 4 months ago
2010
Linking 3D photorealistic and virtual reality models with contents of bibliographic repositories and resources is needed for archeological and historical analyses, public understan...
161
click to vote
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
156
click to vote
OOPSLA
2010
Springer
2010
Springer
Encapsulation and locality: a foundation for concurrency support in multi-language virtual machines?
15 years 3 months ago
We propose to search for common abstractions for different concurrency models to enable high-level language virtual machines to support a wide range of different concurrency model...
188
click to vote
VDA
2010
15 years 3 months ago
2010
The exploration of multidimensional scalar fields is commonly based on the knowledge of the topology of their isosurfaces. The latter is established through the analysis of critic...
177
click to vote
DLOG
2009
15 years 3 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...