77 search results - page 5 / 16 » Fragmental Specialization |
ENTCS
2008
13 years 8 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
DATE
2006
IEEE
14 years 2 months ago
2006
IEEE
Conventional high-level synthesis uses the worst case delay to relate all inputs to all outputs of an operation. This is a very conservative approximation of reality, especially i...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—It is highly desirable and important for end users, with no special privileges, identify and pinpoint faults inside the network that degrade the performance of their application...
ISMIR
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes music information retrieval (MIR) systems featuring automatic speech recognition. Although various interfaces for MIR have been proposed, speech-recognition i...
WISE
2002
Springer
14 years 1 months ago
2002
Springer
Navigating through a large Web site can be a frustrating exercise. Many sites employ Site Maps to help visitors understand the overall structure of the site. However, by their ver...