1411 search results - page 64 / 283 » Interactive Coding for Interactive Proofs |
112
Voted
AAAI
2006
15 years 1 months 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, ...
102
Voted
WOLLIC
2009
Springer
15 years 7 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...
153
click to vote
SIGGRAPH
2009
ACM
15 years 7 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...
130
click to vote
SOFTVIS
2010
ACM
15 years 20 days 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...
92
Voted
BMCBI
2007
15 years 18 days 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...