Sciweavers

675 search results - page 31 / 135
» What Is New in Our City
Sort
View
130
Voted
WWW
2003
ACM
16 years 1 months ago
Ontology-Based Image Retrieval
The binary form of an image does not tell what the image is about. It is possible to retrieve images from a database using pattern matching techniques, but usually textual descript...
Avril Styrman, Eero Hyvönen, Kim Viljanen, Sa...
102
Voted
JSYML
1998
61views more  JSYML 1998»
15 years 13 days ago
Superdestructibility: A Dual to Laver's Indestructibility
Abstract. After small forcing, any <κ-closed forcing will destroy the supercompactness and even the strong compactness of κ. In a delightful argument, Laver [L78] proved that ...
Joel David Hamkins, Saharon Shelah
MC
2003
170views Computer Science» more  MC 2003»
15 years 2 months ago
Social navigation: from the web to the mobile
Social navigation is the alternative way of looking upon navigation in the virtual world: e g instead of navigating the web by maps and hierarchies and search engines, you would n...
Kristina Höök
KR
1998
Springer
15 years 5 months ago
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
Fausto Giunchiglia, Chiara Ghidini
ESORICS
2012
Springer
13 years 3 months ago
Formal Analysis of Privacy in an eHealth Protocol
Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...
Naipeng Dong, Hugo Jonker, Jun Pang