3775 search results - page 60 / 755 » The Expression Problem Revisited |
126
Voted
ISAAC
2007
Springer
15 years 9 months ago
2007
Springer
The problem of maintaining a representation of a dynamic graph as long as a certain property is satisfied has recently been considered for a number of properties. This paper prese...
99
Voted
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
143
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. Conjunctive query answering plays a prominent role in applications of description logics (DLs) that involve instance data, but its exact complexity was a long-standing op...
132
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
A very challenging issue for optimizing compilers is the phase ordering problem: In what order should a collection of compiler optimizations be performed? We address this problem ...