Sciweavers

2377 search results - page 261 / 476
» Hybrid Systems in TLA
Sort
View
CIS
2009
Springer
15 years 10 months ago
A Virus Detection System Based on Artificial Immune System
A virus detection system (VDS) based on artificial immune system (AIS) is proposed in this paper. VDS at first generates the detector set from virus files in the dataset, negative ...
Rui Chao, Ying Tan
ECAI
2006
Springer
15 years 10 months ago
SUMMaR: Combining Linguistics and Statistics for Text Summarization
Abstract. We describe a text summarization system that moves beyond standard approaches by using a hybrid approach of linguistic and statistical analysis and by employing text-sort...
Manfred Stede, Heike Bieler, Stefanie Dipper, Arth...
EACL
2006
ACL Anthology
15 years 8 months ago
Adaptivity in Question Answering with User Modelling and a Dialogue Interface
Most question answering (QA) and information retrieval (IR) systems are insensitive to different users' needs and preferences, and also to the existence of multiple, complex ...
Silvia Quarteroni, Suresh Manandhar
IJCSA
2006
92views more  IJCSA 2006»
15 years 6 months ago
Personalized Integration of Recommendation Methods for E-commerce
The hybrid system of personalized product recommendation in e-commerce, by integrating various methods, was presented in the paper. Each e-commerce user has assigned their own wei...
Przemyslaw Kazienko, Pawel Kolodziejski
TPHOL
2008
IEEE
16 years 27 days ago
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
Sayan Mitra, K. Mani Chandy