3775 search results - page 60 / 755 » The Expression Problem Revisited |
105
click to vote
ISAAC
2007
Springer
15 years 7 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...
105
Voted
PAMI
2000
15 years 16 days ago
2000
RTA
2010
Springer
15 years 4 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 ...
119
click to vote
CADE
2008
Springer
16 years 1 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...
111
Voted
SC
2005
ACM
15 years 6 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 ...