Hyperlinks are a well understood and widely used concept in many applications. Particularly the Web has promoted the concept of “clickable” links to users. Typically, hyperlin...
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robe...
Software repositories provide abundance of valuable information about open source projects. With the increase in the size of the data maintained by the repositories, automated ext...
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
Anastassia Ailamaki, Yannis E. Ioannidis, Miron Li...
Bitmapping is an art exhibition that seeks to create a linear story path through a collection of photographs. Bitmapping sends registered participants an image to their mobile pho...