Sciweavers

2364 search results - page 417 / 473
» On O-Minimal Hybrid Systems
Sort
View
VTC
2007
IEEE
136views Communications» more  VTC 2007»
15 years 6 months ago
LDPC-Coded HARQ Throughput Performance of MC-CDMA Using ICI Cancellation
—Broadband packet data services are demanded in the next generation mobile communications systems. Multi-carrier CDMA (MC-CDMA) is considered to be a promising wireless technique...
Kaoru Fukuda, Akinori Nakajima, Fumiyuki Adachi
ADAPTIVE
2007
Springer
15 years 6 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
15 years 6 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
15 years 6 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
15 years 6 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