Abstract. Several projects have brought rich data semantics to collaborative wikis, but blogging platforms remain primarily limited to text. As blogs comprise a significant portion...
Edward Benson, Adam Marcus 0002, Fabian Howahl, Da...
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
Maksym Bortin, Einar Broch Johnsen, Christoph L&uu...
As an alternative to vector representations, a recent trend in image classification suggests to integrate additional structural information in the description of images in order to...
We propose here a framework to build a statistical atlas of diffusion tensors of canine hearts. The anatomical images of seven hearts are first non-rigidly registered in the same r...
Jean-Marc Peyrat, Maxime Sermesant, Xavier Pennec,...
Geographic Routing is a family of routing algorithms that uses geographic point locations as addresses for the purposes of routing. Such routing algorithms have proven to be both ...