2455 search results - page 95 / 491 » Graphical abstract help |
120
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Graphs are an intuitive model for states of a (software) system that include pointer structures — for instance, object-oriented programs. However, a naive encoding resu...
134
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
107
Voted
SUM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we introduce a fixpoint semantics for quantitative logic programming, which is able to both combine and correlate evidence from different sources of infor...
PERVASIVE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. This paper proposes a novel interactive technique, the EyeCatcher, which helps photographers capture a variety of natural looking facial expressions of their subjects, by...
116
click to vote
AIRS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper, we describe an opinion analysis system using domainspecific lexical knowledge in Korean economic news. We tested our hypothesis that such domain-specific k...