VMV
2000
14 years 1 months ago
2000
Direct volume rendering is a common means of visualizing three-dimensional data nowadays. It is, however, still a very time consuming process to create informative and visual appe...
AAAI
2004
14 years 1 months ago
2004
Traditionally, text classifiers are built from labeled training examples. Labeling is usually done manually by human experts (or the users), which is a labor intensive and time co...
AGENTS
1998
Springer
14 years 4 months ago
1998
Springer
The World-Wide Web is developing very fast. Currently, nding useful information on the Web is a time consuming process. In this paper, we present WebMate, an agent that helps user...
GCSE
2001
Springer
14 years 5 months ago
2001
Springer
Architecture conception is a difficult and time consuming process, requiring advanced skills from the software architect. The tasks of an architect are alleviated if means can be p...
ICIAR
2009
Springer
14 years 7 months ago
2009
Springer
Intravascular ultrasound (IVUS) is a useful imaging technique that can be used to assess the health of coronary arteries. However, manual segmentation of the lumen and adventia bou...
DATE
2009
IEEE
14 years 7 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...