5096 search results - page 91 / 1020 » Associations as a Language Construct |
153
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
148
click to vote
JOLLI
1998
15 years 6 months ago
1998
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded const...
262
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
164
click to vote
IWOMP
2009
Springer
16 years 27 days ago
2009
Springer
OpenMP relies heavily on barrier synchronization to coordinate the work of threads that are performing the computations in a parallel region. A good implementation of barriers is ...
180
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
Automatic image annotation is a newly developed and promising technique to provide semantic image retrieval via text descriptions. It concerns a process of automatically labeling t...