3828 search results - page 475 / 766 » Proof-Based System Engineering Using a Virtual System Model |
202
Voted
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
164
Voted
ICAT
2003
IEEE
16 years 4 days ago
2003
IEEE
This study presents a haptic simulator for learning palpation of aorta in cardiovascular surgery and performs quantitative evaluation in educational use through some user study. T...
205
Voted
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Implicit user feedback, including click-through and subsequent browsing behavior, is crucial for evaluating and improving the quality of results returned by search engines. Severa...
243
Voted
ASSETS
2006
ACM
16 years 25 days ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...
235
click to vote
USS
2008
15 years 9 months ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...