Sciweavers

Share
VMV
2000
175views Visualization» more  VMV 2000»
9 years 6 months ago
Accelerating Morphological Analysis with Graphics Hardware
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...
Matthias Hopf, Thomas Ertl
AAAI
2004
9 years 7 months ago
Text Classification by Labeling Words
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...
Bing Liu, Xiaoli Li, Wee Sun Lee, Philip S. Yu
AGENTS
1998
Springer
9 years 9 months ago
WebMate: A Personal Agent for Browsing and Searching
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...
Liren Chen, Katia P. Sycara
GCSE
2001
Springer
9 years 10 months ago
Scenario-Based Generation and Evaluation of Software Architectures
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...
Hans de Bruijn, Johannes C. van Vliet
ICIAR
2009
Springer
10 years 2 days ago
Three Dimensional Segmentation of Intravascular Ultrasound Data
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...
Marc Wennogle, William Hoff
DATE
2009
IEEE
90views Hardware» more  DATE 2009»
10 years 8 days ago
Property analysis and design understanding
—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...
Ulrich Kühne, Daniel Große, Rolf Drechs...
books