Sciweavers

5101 search results - page 483 / 1021
» Capturing Context Requirements
Sort
View
FMICS
2007
Springer
16 years 1 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
GFKL
2007
Springer
184views Data Mining» more  GFKL 2007»
16 years 1 months ago
A Probabilistic Relational Model for Characterizing Situations in Dynamic Multi-Agent Systems
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
Daniel Meyer-Delius, Christian Plagemann, Georg vo...
IBPRIA
2007
Springer
16 years 1 months ago
Invariant Multi-scale Object Categorisation and Recognition
Object recognition requires that templates with canonical views are stored in memory. Such templates must somehow be normalised. In this paper we present a novel method for obtaini...
João Rodrigues, J. M. Hans du Buf
ICANN
2007
Springer
16 years 1 months ago
Visualising Class Distribution on Self-organising Maps
The Self-Organising Map is a popular unsupervised neural network model which has been used successfully in various contexts for clustering data. Even though labelled data is not re...
Rudolf Mayer, Taha Abdel Aziz, Andreas Rauber
PROVSEC
2007
Springer
16 years 1 months ago
Decryptable Searchable Encryption
As such, public-key encryption with keyword search (a.k.a PEKS or searchable encryption) does not allow the recipient to decrypt keywords i.e. encryption is not invertible. This pa...
Thomas Fuhr, Pascal Paillier