Now showing items 1-5 of 5
Type inference, type improvement, and type simplification in a language with user-defined polymorphic relational operators
The overarching goal of the current thesis is to pave the road towards a comprehensive solution to the decades old problem of integrating databases and programming languages. For this purpose, we propose a record calculus ...
The peer-reviewing game
We model a family of peer-reviewing processes as game-theoretic problems. The model helps to understand elements of existing peer-reviewing procedures, and to predict the impact of new mechanisms. The peer-reviewing for ...
Personalized web search by using learned user profiles in re-ranking
Search engines return results mainly based on the submitted query; however, the same query could be in different contexts because individual users have different interests. To improve the relevance of search results, we ...
Machine learning for host-based anomaly detection
Anomaly detection techniques complement signature based methods for intrusion detection. Machine learning approaches are applied to anomaly detection for automated learning and detection. Traditional host-based anomaly ...
IDMA: Improving the defense against malicious attack for Mobile Ad Hoc Networks based on the ARTP protocol
Malicious nodes are mounting increasingly sophisticated attacking operations on the Mobile Ad Hoc Networks (MANETs). This is mainly because the IP-based MANETs are vulnerable to attacks by various malicious nodes. However, ...