690 search results - page 76 / 138 » Web-Based Support Systems with Rough Set Analysis |
115
click to vote
IANDC
2008
15 years 4 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
123
click to vote
ISMIR
2005
Springer
15 years 9 months ago
2005
Springer
Melodies provide an important conceptual summarization of polyphonic audio. The extraction of melodic content has practical applications ranging from content-based audio retrieval...
133
click to vote
MOBIHOC
2003
ACM
15 years 9 months ago
2003
ACM
Reliable storage of data with concurrent read/write accesses (or query/update) is an ever recurring issue in distributed settings. In mobile ad hoc networks, the problem becomes e...
153
Voted
SAICSIT
2010
ACM
15 years 1 months ago
2010
ACM
Eliciting and analyzing requirements within knowledge systems, which fundamentally differ so far from technology supported systems represent particular challenges. African rural c...
178
click to vote
SIGGRAPH
1992
ACM
15 years 8 months ago
1992
ACM
This paper discusses a new, symbolic approach to geometric modeling called generative modeling. The approach allows specification, rendering, and analysis of a wide variety of sha...