5130 search results - page 215 / 1026 » Constraint Query Languages |
168
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
286
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
We investigate the first-order theory of subtyping constraints. We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where a...
146
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Ideally designed software allow users to explore and pursue interleaving plans, making it challenging to automatically recognize user interactions. The recognition algorithms prese...
165
click to vote
ANLP
1992
15 years 7 months ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
