18429 search results - page 270 / 3686 » Typing dynamic typing |
194
click to vote
IEEEIAS
2008
IEEE
16 years 1 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
158
click to vote
LOPSTR
2007
Springer
16 years 23 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
191
click to vote
SIGIR
2006
ACM
16 years 18 days ago
2006
ACM
We consider the following full-text search autocompletion feature. Imagine a user of a search engine typing a query. Then with every letter being typed, we would like an instant d...
182
Voted
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
203
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes our experiments in Geographical Information Retrieval (GIR) in the context of our participation in the GeoCLEF 2006 Monolingual English task. The TALPGeoIR sy...