4184 search results - page 275 / 837 » Names of Our Lives |
175
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
155
Voted
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Current uses of tagged images typically exploit only the most explicit information: the link between the nouns named and the objects present somewhere in the image. We propose to ...
158
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
161
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
This paper explores the application of restricted relationship graphs (RDF) and statistical NLP techniques to improve named entity annotation in challenging Informal English domain...
148
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we extrapolate the evolution of mobile devices in one specific direction, namely miniaturization. While we maintain the concept of a device that people are aware of...