2586 search results - page 261 / 518 » Automatic Abstraction for Congruences |
167
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract— The translation of user requirements to system constraints and parameters during an exploration exercise is a hard problem, especially in the context of large scale emb...
167
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
163
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
164
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Refactoring is a technique for restructuring code to improve its design. A tool for automatically applying refactoring transformations to Ada 95 programs is described. The tool is...
156
click to vote
SSPR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In the field of computer music, pattern recognition algorithms are very relevant for music information retrieval (MIR). One challenging task within this area is the auto...