64 search results - page 8 / 13 » Gesture-Based Programming: A Preliminary Demonstration |
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
74
Voted
CIBCB
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— We propose a new method for collecting information on regulatory elements found by any motif discovery program. We suggest that combining the results of n leave-oneout ...
79
Voted
IFL
2001
Springer
15 years 1 months ago
2001
Springer
In order to achieve a high level of abstraction, array-oriented languages provide language constructs for defining array operations in a shape-invariant way. However, when trying ...
AIIDE
2008
14 years 12 months ago
2008
Behavior authoring for computer games involves writing behaviors in a programming language and then iteratively refining them by detecting issues with them. The main bottlenecks a...
100
Voted
WWW
2011
ACM
14 years 4 months ago
2011
ACM
This paper presents a system for enabling offline web use to satisfy the information needs of disconnected communities. We describe the design, implementation, evaluation, and pil...