5830 search results - page 829 / 1166 » Automatic link generation |
175
click to vote
ISCIS
2004
Springer
16 years 5 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
187
click to vote
RTA
2004
Springer
16 years 4 days ago
2004
Springer
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
170
click to vote
DOCENG
2003
ACM
16 years 1 days ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
203
Voted
MM
2003
ACM
16 years 1 days ago
2003
ACM
Music thumbnailing (or music summarization) aims at finding the most representative part of a song, which can be used for web browsing, web searching and music recommendation. Thr...
174
click to vote
SIGGRAPH
2003
ACM
16 years 1 days ago
2003
ACM
While texture synthesis on surfaces has received much attention in computer graphics, the ideal solution that quickly produces high-quality textures with little user intervention ...