As the volume of spatial data increases and the number of spatial data web portals proliferates, new approaches to searching across multiple sites are needed to enhance knowledge discovery. The Semantic Web provides such an opportunity for automated retrieval of spatial data, presenting a general solution for standard access and querying for spatial data. The advantages of applying the concepts...

Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and—in contrast to published research mathematics—subject to continual change. Unfortunately, machine support for change management has either been very coarse grained and thus barely useful, or restricted to formal languages, where automation is possible....

In this paper we try to unify the frameworks of definitions of semantic security, indistinguishability and nonmalleability by defining semantic security in comparison based framework. This facilitates the study of relations among these goals against different attack models and makes the proof of the equivalence of semantic security and indistinguishability easier and more understandable. Beside...

While various aspects of syntactic structure have been shown to bear on the determination of phraselevel prosody, the text-to-speech field has lacked a robust working system to test the possible relations between syntax and prosody. We describe an implemented system which uses the deterministic parser Fidditch to create the input for a set of prosody rules. The prosody rules generate a prosody ...

The increased presence of digital multimedia in numerous applications, such as security, surveillance, the semantic web, has rendered the automated characterization of video content necessary. The localization of different activities/events in video content is of particular interest, however it is quite challenging to achieve in a principled manner and with no prior knowledge or training. This ...

RDF is widely used in the Semantic Web for representing ontology data. Many real world RDF collections are large and contain complex graph relationships that represent knowledge in a particular domain. Such large RDF collections evolve in consequence of their representation of the changing world. Although this data may be distributed over the Internet, it needs to be managed and updated in the ...

The use of commercial satellite images for the verification of nuclear treaties has been suggested recently in the context of a new protocol extending the rights of the International Atomic Energy Agency (IAEA) to verify the absence of undeclared nuclear activities within its member states. The present work investigates the application of a relatively new technology for image analysis (eCogniti...

Although change detection constitutes an important and pervasive process in our everyday lives, phenomena such as change blindness show that we are quite limited in our ability to notice even large changes in visual scenes. Change detection is greatly dependant on attention deployment which can be influenced by the contextual setting in which a target item is presented. In this study we wanted ...

The synthesis of existing Persistent Organic Pollutants (POPs) pollution monitoring databases with epidemiological data is considered for identifying some impacts of POPs on human health. This task requires new, rich, data, services and models discovery capabilities from a multitude of monitoring networks and web resources. The FP7 project TaToo (Tagging Tool based on a Semantic Discovery Frame...