32 search results - page 2 / 7 » Why dependent types matter |
COLING
2007
13 years 5 months ago
2007
eneral, the notion that computation in a serious sense, not just as some highly abstract grounding or, maybe, politically correct meta-reference, has something important to say to ...
CACM
2008
13 years 5 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
ICAI
2004
13 years 6 months ago
2004
Current planning systems often fail to represent the reasons why certain planning decisions are made. Explicit representation of this Plan Rationale is crucial for automated plan m...
TRECVID
2008
13 years 6 months ago
2008
The IRIM group is a consortium of French teams working on Multimedia Indexing and Retrieval. This paper describes our participation to the TRECVID 2008 High Level Features detecti...
GLOBECOM
2008
IEEE
13 years 12 months ago
2008
IEEE
Long-range dependence (LRD) is a widely verified property of Internet traffic, which severely impacts network performance yielding longer queuing delays. Moreover, LRD is almos...