Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
We consider the problem of optimizing multilabel MRFs, which is in general NP-hard and ubiquitous in low-level computer vision. One approach for its solution is to formulate it as...
Pushmeet Kohli, Alexander Shekhovtsov, Carsten Rot...
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...