2586 search results - page 50 / 518 » Automatic Abstraction for Congruences |
LOPSTR
2004
Springer
15 years 3 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this work we present CoDeL (Controller Description Language), a framework for rapidly prototyping policy specific controllers for routers in interconnection networks....
AI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In recent years much research has been conducted on building Thesauri and enhancing them with new terms and relationships. I propose to build and evaluate a system for au...
DEXA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In this paper we study the performance of linguisticallymotivated conflation techniques for Information Retrieval in Spanish. In particular, we have studied the applicat...
ER
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The integration of statecharts is part of an integration methodology for object oriented views. Statecharts are the most important language for the representation of the ...