145 search results - page 25 / 29 » K-Maude: A Rewriting Based Tool for Semantics of Programming... |
JCIT
2007
13 years 7 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
SLP
1994
13 years 8 months ago
1994
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
PLDI
2010
ACM
13 years 11 months ago
2010
ACM
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
SIGMOD
1996
ACM
13 years 11 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
SSDBM
2003
IEEE
14 years 24 days ago
2003
IEEE
Life science researchers frequently need to query large protein data sets in a variety of different ways. Protein data sets have a rich structure that includes its primary structu...