811 search results - page 51 / 163 » Refactoring Using Type Constraints |
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
ACL
2010
13 years 6 months ago
2010
We observe that (1) how a given named entity (NE) is translated (i.e., either semantically or phonetically) depends greatly on its associated entity type, and (2) entities within ...
COLING
1990
13 years 9 months ago
1990
We propose an architecture for the organisation of linguistic knowledge which allows to (1) separately formulate generalizations for different types of linguistic information, and...
ENTCS
2002
13 years 8 months ago
2002
ended abstract demonstrates that creating editors and environments for visual languages becomes considerably easier when restricting the class of visual languages. The presented a...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— Our prior work [1] presented a decentralized algorithm for coordinating the construction of a truss structure out of multiple components. In this paper, we discuss adaptation i...