816 search results - page 91 / 164 » Automating Verification by Functional Abstraction at the Sys... |
TASLP
2008
13 years 9 months ago
2008
Abstract--An audio fingerprint is a compact yet very robust representation of the perceptually relevant parts of an audio signal. It can be used for content-based audio identificat...
ICSM
2003
IEEE
14 years 2 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
DEXAW
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we present a novel, ontology-based approach to service discovery, which exploits domain knowledge and semantic service descriptions to guide the service discovery pr...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...
ICLP
1999
Springer
14 years 1 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...