Sciweavers

5809 search results - page 1065 / 1162
» On Quantifying Semantic Information
Sort
View
AIS
2006
Springer
15 years 4 months ago
Meetings and meeting modeling in smart environments
In this paper we survey our research on smart meeting rooms and its relevance for augmented reality meeting support and virtual reality generation of meetings in real time or off-l...
Anton Nijholt, Rieks op den Akker, Dirk Heylen
ESWA
2008
152views more  ESWA 2008»
15 years 4 months ago
Collaborative recommender systems: Combining effectiveness and efficiency
Recommender systems base their operation on past user ratings over a collection of items, for instance, books, CDs, etc. Collaborative filtering (CF) is a successful recommendatio...
Panagiotis Symeonidis, Alexandros Nanopoulos, Apos...
CLEIEJ
2006
88views more  CLEIEJ 2006»
15 years 4 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
CN
2006
117views more  CN 2006»
15 years 4 months ago
Using equivalence-checking to verify robustness to denial of service
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
Stéphane Lafrance
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 4 months ago
Unifying Lexicons in view of a Phonological and Morphological Lexical DB
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
Federico Calzolari, Michele Mammini, Monica Monach...
« Prev « First page 1065 / 1162 Last » Next »