2076 search results - page 245 / 416 » Functional logic overloading |
122
Voted
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Efficient elevator group control is important for the operation of large buildings. Recent developments in this field include the use of fuzzy logic and neural networks....
109
Voted
IFL
2001
Springer
15 years 8 months ago
2001
Springer
A programming language with subtyping can be translated into a language without subtyping by inserting conversion functions. Previous studies of this interpretation showed only the...
133
Voted
CL
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
140
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
135
click to vote
TPHOL
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...