We report experimental results associated with speech-driven text retrieval, which facilitates retrieving information in multiple domains with spoken queries. Since users speak co...
Traditional representations of graphs and their duals suggest the requirement that the dual vertices should be placed inside their corresponding primal faces, and the edges of the ...
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
We introduce a new family of one-player games, involving the movement of coins from one configuration to another. Moves are restricted so that a coin can be placed only in a posit...
Erik D. Demaine, Martin L. Demaine, Helena A. Verr...
In this paper we name some of the advantages of virtual laboratories; and propose that a Behaviours Virtual Laboratory should b e useful for bo th biologists and AI researchers, o...