4099 search results - page 200 / 820 » A Framework for Interactive Proof |
126
click to vote
TCS
2010
15 years 4 months ago
2010
We give a new construction of strongly aperiodic set of tiles in H2 , exhibiting a kind of hierarchical structure, simplifying the central framework of Margenstern’s proof that t...
174
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Proteins control and mediate many biological activities of cells by interacting with other protein partners. This work presents a statistical model to predict protein ...
145
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
In this paper, we present a new technology to perform multi Tangible User Interface (TUI) tracking on standard LCdisplays. A lot of existing technologies for tangible user interfa...
170
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
The iStuff toolkit of physical devices, and the flexible software infrastructure to support it, were designed to simplify the exploration of novel interaction techniques in the po...
180
click to vote
ASM
2010
ASM
16 years 2 days ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...