3408 search results - page 415 / 682 » Logic, language, information and computation |
189
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
We investigate using topic prediction data, as a summary of document content, to compute measures of search result quality. Unlike existing quality measures such as query clarity t...
167
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...
182
click to vote
VEE
2009
ACM
16 years 1 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
240
Voted
ESOP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
194
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...