Sciweavers

4434 search results - page 802 / 887
» On the Composition of Hybrid Systems
Sort
View
ESOP
2007
Springer
16 years 14 days 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
16 years 13 days 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
16 years 13 days 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
ANSS
2006
IEEE
16 years 11 days ago
Swarm-based Active Tunable Routing for Overhead Reduction in Multiservice Networks
The explosive growth of multimedia and other bandwidth intensive applications has resulted a rapid increase in the size of the traffic loads that needs to be supported by modern n...
Constandinos X. Mavromoustakis, Helen D. Karatza
VTC
2006
IEEE
114views Communications» more  VTC 2006»
16 years 9 days ago
Iterative Joint PIC and 2D MMSE-FDE for Turbo-coded HARQ with SC-MIMO Multiplexing
— Broadband wireless packet access will be the core technology of the next generation mobile communication systems. For very high-speed and high-quality packet transmissions, the...
Akinori Nakajima, Fumiyuki Adachi