94 search results - page 2 / 19 » Second Space: A Generative Model for the Blogosphere |
ACCV
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents an occupancy based generative model of stereo and multi-view stereo images. In this model, the space is divided into empty and occupied regions. The depth of a ...
VISUALIZATION
2003
IEEE
14 years 19 days ago
2003
IEEE
We present a novel technique for direct visualization of unsteady flow on surfaces from computational fluid dynamics. The method generates dense representations of time-dependen...
ESORICS
2003
Springer
14 years 17 days ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
BMVC
2002
13 years 9 months ago
2002
Recently, there have been several attempts at creating `video textures', that is, synthesising new (potentially infinitely long) video clips based on existing ones. One way t...
JSS
2006
13 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...