Sciweavers

3823 search results - page 699 / 765
» Stability of Hybrid Systems
Sort
View
ADAPTIVE
2007
Springer
14 years 3 months ago
Data Mining for Web Personalization
Abstract. In this chapter we present an overview of Web personalization process viewed as an application of data mining requiring support for all the phases of a typical data minin...
Bamshad Mobasher
ASIACRYPT
2007
Springer
14 years 3 months ago
Miniature CCA2 PK Encryption: Tight Security Without Redundancy
ersion of an extended abstract to be published in Advances in Cryptology—ASIACRYPT 2007, Springer-Verlag, 2007. Available online from: http://www.cs.stanford.edu/∼xb/asiacrypt0...
Xavier Boyen
ESOP
2007
Springer
14 years 3 months ago
Principal Type Schemes for Modular Programs
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
Derek Dreyer, Matthias Blume
ISNN
2007
Springer
14 years 3 months ago
A Connectionist Thematic Grid Predictor for Pre-parsed Natural Language Sentences
Abstract. Inspired on psycholinguistics and neuroscience, a symbolicconnectionist hybrid system called θ-Pred (Thematic Predictor for natural language) is proposed, designed to re...
João Luís Garcia Rosa
KI
2007
Springer
14 years 3 months ago
On Constructing a Communicative Space in HRI
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
Claudia Muhl, Yukie Nagai, Gerhard Sagerer