Sciweavers

3053 search results - page 359 / 611
» Hybrid Systems Diagnosis
Sort
View
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 1 months 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
HICSS
2005
IEEE
139views Biometrics» more  HICSS 2005»
16 years 9 days ago
Business Models for Mobile Communities
Communities (especially virtual communities) of Interest have been the focus of substantial discussion in academic literature. This paper addresses Communities of Interest within ...
Petra Schubert, J. Felix Hampe
UML
2001
Springer
15 years 11 months ago
Approaching a Discrete-Continuous UML: Tool Support and Formalization
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
Thomas Stauner, Alexander Pretschner, Istran P&eac...