1688 search results - page 263 / 338 » The Complexity of Rationalizing Matchings |
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
HUMO
2007
Springer
14 years 4 months ago
2007
Springer
We describe a “bag-of-rectangles” method for representing and recognizing human actions in videos. In this method, each human pose in an action sequence is represented by orien...
ICWE
2007
Springer
14 years 4 months ago
2007
Springer
With the increasing availability of Web services and adoption of services oriented paradigm, there is a growing need to dynamically compose services for realizing complex user task...
ISVC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. A challenge for virtual reality (VR) applications is to increase the realism of an observer’s visual experience. For this purpose the variation of the blur an observer ...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...