381 search results - page 50 / 77 » Two-Variable Logic with Two Order Relations - (Extended Abst... |
138
click to vote
CONSTRAINTS
2010
15 years 1 months ago
2010
Abstract. We describe a simple CSP formalism for handling multi-attribute preference problems with hard constraints, one that combines hard constraints and preferences so the two a...
101
click to vote
ICDT
1999
ACM
15 years 5 months ago
1999
ACM
A large number of database index structures have been proposed over the last two decades, and little consensus has emerged regarding their relative e ectiveness. In order to empir...
108
click to vote
ECOOP
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
107
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper introduces the Abstract Data and Communication Library (ADCL). ADCL is an application level communication library aiming at providing the highest possible performanc...