4211 search results - page 55 / 843 » Types as Abstract Interpretations |
103
click to vote
AAAI
2012
13 years 2 months ago
2012
Pre-symptomatic drought stress prediction is of great relevance in precision plant protection, ultimately helping to meet the challenge of “How to feed a hungry world?”. Unfor...
ECHT
1994
15 years 4 months ago
1994
The emergent nature of structure is a crucial, but often ignored, constraint on authoring hypertexts. VIKI is a spatial hypertext system that supports the emergent s of structure ...
LREC
2008
15 years 1 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
APAL
2007
15 years 1 hour ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
102
click to vote
ICFP
2002
ACM
15 years 11 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...