2586 search results - page 300 / 518 » Automatic Abstraction for Congruences |
239
click to vote
ICMLA
2010
15 years 4 months ago
2010
Abstract--In this paper we propose a probabilistic classification algorithm with a novel Dynamic Time Warping (DTW) kernel to automatically recognize flight calls of different spec...
190
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Regular expressions, or simply regex, have been widely used as a powerful pattern matching and text extractor tool through decades. Although they provide a powerful and f...
160
click to vote
SOCO
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In grid-based scientific applications, building a workflow essentially involves composing parameterized services describing families of services and then configuring the ...
179
click to vote
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...
175
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...