72 search results - page 11 / 15 » The Isomorphism Problem on Classes of Automatic Structures |
ER
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we study the problem of schema exchange, a natural extension of the data exchange problem to an intensional level. To this end, we first introduce the notion of sche...
IASTEDSEA
2004
13 years 9 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
ECOOP
2003
Springer
14 years 25 days ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...
ANNPR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...
ICIP
2002
IEEE
14 years 17 days ago
2002
IEEE
Context-based adaptive entropy coding is an essential feature of modern image compression algorithms; however, the design of these coders is non-trivial due to the balance that mu...