1284 search results - page 7 / 257 » On Helping and Interactive Proof Systems |
AICOM
2010
13 years 7 months ago
2010
This paper presents an interactive proof method for the verification of temporal properties of concurrent systems based on symbolic execution. Symbolic execution is a well known a...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
We explore online technical support of open source software by a study of postings to discussion boards. Our results indicate that there are several types of detail that are requi...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
While many computer tutoring systems have long been delivered as desktop applications, these systems have only recently begun to appear on mobile devices. In this work we apply pri...
OZCHI
2005
ACM
14 years 1 months ago
2005
ACM
Image stitching allows users to combine multiple regular-sized photographs into a single wide-angle picture, often referred to as a panoramic picture. To create such a panoramic p...
IEAAIE
2004
Springer
14 years 25 days ago
2004
Springer
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...