2586 search results - page 67 / 518 » Automatic Abstraction for Congruences |
141
click to vote
AMR
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In this paper, we present an approach to automatically detecting music band members and instrumentation using web content mining techniques. To this end, we combine a nam...
125
click to vote
CAISE
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. The translation of information between heterogeneous representations is a long standing issue. With the large spreading of cooperative applications fostered by the advent...
151
click to vote
ICLP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
145
click to vote
TSD
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. The orthography of many resource-scarce languages includes diacritically marked characters. Falling outside the scope of the standard Latin encoding, these characters are...
169
click to vote
WDAG
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...