3710 search results - page 368 / 742 » A new calculus of contexts |
205
click to vote
ICCI
1993
15 years 11 months ago
1993
We propose a conceptually and technically neat method to identify known semantic patterns close to a novel pattern. This occurs in the context of a system to acquire knowledge inc...
190
click to vote
POPL
1993
ACM
15 years 11 months ago
1993
ACM
We study the type inference problem for a system with type classes as in the functional programminglanguage Haskell. Type classes are an extension of ML-style polymorphismwith ove...
151
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
This paper introduces a new data structure, called V-trees, designed to store long sequences of points in 2D space and yet allow efficient access to their fragments. They also opt...
177
click to vote
CHI
1998
ACM
15 years 11 months ago
1998
ACM
Pen-based computing has not yet taken off, partly because of the lack of fast and easy text input methods. The situation is even worse for people using East Asian languages, where...
224
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...