1411 search results - page 64 / 283 » Interactive Coding for Interactive Proofs |
AAAI
2006
14 years 17 days ago
2006
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...
WOLLIC
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
SIGGRAPH
2009
ACM
14 years 5 months ago
2009
ACM
We transform an LCD into a display that supports both 2D multitouch and unencumbered 3D gestures. Our BiDirectional (BiDi) screen, capable of both image capture and display, is in...
SOFTVIS
2010
ACM
13 years 11 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
BMCBI
2007
13 years 11 months ago
2007
Background: Overlapping genes (OGs) in bacterial genomes are pairs of adjacent genes of which the coding sequences overlap partly or entirely. With the rapid accumulation of seque...