2351 search results - page 392 / 471 » A Method of Requirement Inconsistency Analysis |
CMMR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Voice separation is a critical component of music information retrieval, music analysis and automated transcription systems. We present a contig mapping approach to voice...
ITS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
101
click to vote
RT
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we present a new shadow mapping technique that improves upon the quality of perspective and uniform shadow maps. Our technique uses a perspective transform specifi...
VIZSEC
2004
Springer
15 years 3 months ago
2004
Springer
Most visualizations of security-related network data require large amounts of finely detailed, high-dimensional data. However, in some cases, the data available can only be coars...