5326 search results - page 151 / 1066 » On what we can ensure |
134
click to vote
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
This paper is motivated by the concern of the multiservice network provider who wishes to offer users quality of service guarantees concerning transparency, accessibility and thro...
134
click to vote
HRI
2010
ACM
15 years 10 months ago
2010
ACM
—Much effort has focused in recent years on developing more life-like robots. In this paper we propose a model of memory for robots, based on human digital memories, though our m...
172
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
143
click to vote
ACL
2007
15 years 7 months ago
2007
In this paper we investigate a structured model for jointly classifying the sentiment of text at varying levels of granularity. Inference in the model is based on standard sequenc...
140
click to vote
DPHOTO
2009
15 years 4 months ago
2009
We developed and implemented a flexible image pre-processing concept to achieve an image sub-system for top-end professional digital still camera applications that ensures the hig...