26 search results - page 1 / 6 » Computer-Assisted Paper Wrapping with Visualization |
EDUTAINMENT
2008
Springer
13 years 5 months ago
2008
Springer
ICSE
2003
IEEE-ACM
14 years 4 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
HICSS
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we discuss and demonstrate how traditional literature reviews may be enriched by computer-assisted research profiling. Research profiling makes use of sophisticated ...
CRV
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper presents the status of a project targeting the development of content-based video indexing tools, to assist a human in the generation of descriptive video for the hard ...
CBMS
2001
IEEE
13 years 8 months ago
2001
IEEE
Image indexing for biomedical content is a prohibitively expensive task if done manually. This leads to the demand for effective automated or computer assisted indexing methods. W...