1688 search results - page 269 / 338 » Computational Perspectives on Map Generalization |
ICFP
2008
ACM
15 years 12 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
122
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
111
click to vote
SAC
2006
ACM
15 years 5 months ago
2006
ACM
Lexical chaining is a technique for identifying semanticallyrelated terms in text. We propose concept chaining to link semantically-related concepts within biomedical text togethe...
ANCS
2005
ACM
15 years 5 months ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
100
click to vote
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
We introduce a new model for semantic annotation and retrieval from image databases. The new model is based on a probabilistic formulation that poses annotation and retrieval as c...