4693 search results - page 338 / 939 » Verifying Hybrid Systems |
198
click to vote
FAC
2008
15 years 6 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
167
click to vote
PAMI
2002
15 years 6 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
174
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
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...
153
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
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 ...
166
click to vote
IJCSA
2006
15 years 6 months ago
2006
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...