2586 search results - page 182 / 518 » Automatic Abstraction for Congruences |
195
click to vote
CIVR
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Information Retrieval is a supporting technique which underpins a broad range of content-based applications including retrieval, filtering, summarisation, browsing, clas...
162
click to vote
TEAA
2005
Springer
16 years 16 hour ago
2005
Springer
Enterprise systems are mission critical. As a result, ensuring their correctness is of primary concern. This paper aids to the analysis of Web Applications, focusing on the aspects...
133
click to vote
NIME
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we describe an adaptive approach to gesture for musical applications. Neural Network abstractions and interfaces are implemented in the Pure Data environment which ...
186
click to vote
ACSD
2003
IEEE
15 years 12 months ago
2003
IEEE
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
182
click to vote
ESTIMEDIA
2003
Springer
15 years 11 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...