549 search results - page 8 / 110 » Verification condition generation for conditional informatio... |
SCAM
2007
IEEE
15 years 4 months ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
116
Voted
CSFW
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
78
Voted
CGF
1998
14 years 9 months ago
1998
This paper proposes a new approach to image-based rendering that generates an image viewed from an arbitrary camera position and orientation by rendering optical flows extracted ...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
This paper addresses the issue of social recommendation based on collaborative filtering (CF) algorithms. Social recommendation emphasizes utilizing various attributes informatio...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— MIMO system design for real applications requires that factors such as channel estimation errors, feedback quantisation and realistic channel responses be taken into account. L...